Equational calculi for many-sorted algebras with empty carrier sets
- 1 December 2005
- book chapter
- Published by Springer Nature
- p. 423-429
- https://doi.org/10.1007/bfb0029638
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A Model Theoretic Oriented Approach to Partial AlgebrasPublished by Walter de Gruyter GmbH ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Universal AlgebraPublished by Springer Nature ,1979