Algebraic Logic and Universal Algebra in Computer Science 1988: Ames, Iowa, USA

@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}
}

Invited Papers

• Hajnal Andréka, Bjarni Jónsson, István Németi: Relatively free relation algebras. 1-14 BibTeX
• Joel Berman: The value of free algebras. 15-26 BibTeX
• H. Peter Gumm: Continuations of logic programs. 27-36 BibTeX
• István Németi: On cylindric algebraic model theory. 37-75 BibTeX
• Vaughan R. Pratt: Dynamic algebras as a well-behaved fragment of relation algebras. 77-110 BibTeX
• Eric G. Wagner: All recursive types defined using products and sums can be implemented using pointers. 111-132 BibTeX

Contributed Papers

• Isidore Fleischer: The abstract Galois theory: a survey. 133-137 BibTeX
• Fernando Guzmán: The implications in conditional logic. 139-159 BibTeX
• Lawrence S. Moss, Satish R. Thatte: Optimal semantics of data type extensions. 161-180 BibTeX
• G. C. Nelson: Other logics for (equational) theories. 181-194 BibTeX
• Ivo G. Rosenberg: Mal'cev algebras for universal algebra terms. 195-208 BibTeX
• Ildikó Sain: Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic. 209-225 BibTeX
• Zbigniew Stachniak: The resolution rule: an algebraic perspective. 227-242 BibTeX
• Marek A. Suchenek: Incremental models of updating data bases. 243-271 BibTeX
• Richard J. Thompson: Noncommutative cylindric algebras and relativizations of cylindric algebras. 273-278 BibTeX
• Marek Zaionc: On the "lambda"-definable tree operations. 279-292 BibTeX