E-Unification by Consistency

E-Unification by Consistency

Authors: O. Lysne
Status: Published
Publication type: Proceedings Refereed
Year of publication: 1994
Journal: Proceedings 5th Nordic Workshop on Program Correctness
Publisher: -
Citation key: 9967

Google Scholar BibTex