Equational partiality
- 1 December 1983
- journal article
- research article
- Published by Springer Nature in Algebra universalis
- Vol. 16 (1) , 219-232
- https://doi.org/10.1007/bf01191770
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Initially — Restricting algebraic theoriesPublished by Springer Nature ,2005
- Abstract implementation of abstract data typesPublished by Springer Nature ,2005
- Partial morphisms on partial algebrasAlgebra universalis, 1973
- Weak and strong equations in partial algebrasAlgebra universalis, 1973
- Gleichungsdefinierbare Klassen partieller AlgebrenMathematische Annalen, 1970
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- A theory of P-homomorphismsColloquium Mathematicum, 1966
- A general existence theorem on partial algebras and its special casesColloquium Mathematicum, 1966
- Embeddability and the Word ProblemJournal of the London Mathematical Society, 1953