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
Invited Papers
- Eric G. Wagner:
All recursive types defined using products and sums can be implemented using pointers. 111-132
Contributed Papers
- 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