Notes on equational theories of relations
- 1 March 1995
- journal article
- Published by Springer Nature in Algebra universalis
- Vol. 33 (1) , 98-126
- https://doi.org/10.1007/bf01190768
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Dynamic algebras as a well-behaved fragment of relation algebrasPublished by Springer Nature ,2006
- A completeness theorem for Kleene algebras and the algebra of regular eventsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Equational axioms for regular setsMathematical Structures in Computer Science, 1993
- Complete systems ofB-rational identitiesTheoretical Computer Science, 1991
- Confluent String RewritingPublished by Springer Nature ,1988
- On the calculus of relationsThe Journal of Symbolic Logic, 1941