Research
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