Unification in many-sorted equational theories
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Unification in datastructure multisetsJournal of Automated Reasoning, 1986
- Unification in a Many-sorted Calculus with DeclarationsPublished by Springer Nature ,1986
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Universal UnificationPublished by Springer Nature ,1984
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Universal AlgebraPublished by Springer Nature ,1979
- N-sorted logic for automatic theorem-proving in higher-order logicPublished by Association for Computing Machinery (ACM) ,1972
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Untersuchungen zur mehrsortigen QuantorenlogikMathematische Annalen, 1962