Dynamic algebras as a well-behaved fragment of relation algebras

Authors:
Vaughan R. Pratt
Affiliations:
-
Venue:
Proceedings of the Conference on Algebraic Logic and Universal Algebra in Computer Science
Year:
1988

Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra

STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
A Calculus for Access Control in Distributed Systems

CRYPTO '91 Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology
Kleene algebra with domain

ACM Transactions on Computational Logic (TOCL)
The equational theory of Kleene lattices

Theoretical Computer Science

Hi-index	0.00