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.
@inproceedings{Pratt88,
title = {Dynamic algebras as a well-behaved fragment of relation algebras},
author = {Vaughan R. Pratt},
year = {1988},
tags = { algebra},
researchr = {https://researchr.org/publication/Pratt88},
cites = {0},
citedby = {0},
pages = {77-110},
booktitle = {Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings},
editor = {Clifford Bergman and Roger D. Maddux and Don Pigozzi},
volume = {425},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-97288-9},
}