Algebraic Logic and Universal Algebra in Computer Science 1988:
Ames, Iowa, USA
Clifford Bergman,
Roger D. Maddux,
Don Pigozzi:
Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings. Lecture Notes in Computer Science 425,
Springer 1990, ISBN
3-540-97288-9
Vaughan R. Pratt:
Dynamic algebras as a well-behaved fragment of relation algebras. 77-110 Eric G. Wagner:
All recursive types defined using products and sums can be implemented using pointers. 111-132
Ildikó Sain:
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic. 209-225 Richard J. Thompson:
Noncommutative cylindric algebras and relativizations of cylindric algebras. 273-278 Marek Zaionc:
On the "lambda"-definable tree operations. 279-292
maintained by
at
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Clifford Bergman, Roger D. Maddux, Don Pigozzi:
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-05-26 21:41 CEST by the dblp team