Equational formulas in order-sorted algebras
- 27 June 2005
- book chapter
- Published by Springer Nature
- p. 674-688
- https://doi.org/10.1007/bfb0032066
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Unified algebras and institutionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Complete axiomatizations of the algebras of finite, rational and infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Rewrite SystemsPublished by Elsevier ,1990
- Equational problems anddisunificationJournal of Symbolic Computation, 1989
- Inductive proofs by specification transformationsPublished by Springer Nature ,1989
- Operational semantics of OBJ-3Published by Springer Nature ,1988
- Negation in logic programmingThe Journal of Logic Programming, 1987
- Semantic confluence tests and completion methodsInformation and Control, 1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Chapter 23 Axiomatizable Classes of Locally Free Algebras of Various TypesPublished by Elsevier ,1971