@inproceedings{DBLP:conf/aluacs/Pratt88,
author = {Vaughan R. Pratt},
title = {Dynamic algebras as a well-behaved fragment of relation
algebras},
booktitle = {Algebraic Logic and Universal Algebra in Computer Science},
year = {1988},
pages = {77-110},
ee = {http://dx.doi.org/10.1007/BFb0043079},
crossref = {DBLP:conf/aluacs/1988},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aluacs/1988,
editor = {Clifford Bergman and
Roger D. Maddux and
Don Pigozzi},
title = {Algebraic Logic and Universal Algebra in Computer Science,
Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings},
booktitle = {Algebraic Logic and Universal Algebra in Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {425},
year = {1990},
isbn = {3-540-97288-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-09-14 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
