Dynamic algebras as a well-behaved fragment of relation algebras - researchr publication

researchr

You are not signed in
Sign in
Sign up

Vaughan R. Pratt. Dynamic algebras as a well-behaved fragment of relation algebras. In Clifford Bergman, Roger D. Maddux, Don Pigozzi, editors, Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings. Volume 425 of Lecture Notes in Computer Science, pages 77-110, Springer, 1988.

Abstract is missing.

runs on WebDSL