Dynamic Algebras as a well-behaved fragment of Relation Algebras (1990)

Cached

Download Links

by Vaughan Pratt
Venue:In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425
Citations:33 - 5 self