Matching — A special case of unification?
- 30 November 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 8 (5) , 523-536
- https://doi.org/10.1016/s0747-7171(89)80057-4
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Unification in a combination of arbitrary disjoint equational theoriesPublished by Springer Nature ,2005
- Complete sets of unifiers and matchers in equational theoriesTheoretical Computer Science, 1986
- Ergebnisse aus dem niedersächsischen Modellversuch: Mikroprozessoren in der ElektroausbildungPublished by Springer Nature ,1986
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935