Algebraic Logic and Universal Algebra in Computer Science

Keyphrases

Publications

volume 425, 1990

Algebraic Logic and Universal Algebra in Computer Science, Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings Algebraic Logic and Universal Algebra in Computer Science 425 (1990)

1988

Zbigniew Stachniak
The resolution rule: an algebraic perspective. Algebraic Logic and Universal Algebra in Computer Science (1988)
Joel Berman
The value of free algebras. Algebraic Logic and Universal Algebra in Computer Science (1988)
Eric G. Wagner
All recursive types defined using products and sums can be implemented using pointers. Algebraic Logic and Universal Algebra in Computer Science (1988)
István Németi
On cylindric algebraic model theory. Algebraic Logic and Universal Algebra in Computer Science (1988)
Richard J. Thompson
Noncommutative cylindric algebras and relativizations of cylindric algebras. Algebraic Logic and Universal Algebra in Computer Science (1988)
Lawrence S. Moss, Satish R. Thatte
Optimal semantics of data type extensions. Algebraic Logic and Universal Algebra in Computer Science (1988)
George C. Nelson
Other logics for (equational) theories. Algebraic Logic and Universal Algebra in Computer Science (1988)
Marek Zaionc
On the "lambda"-definable tree operations. Algebraic Logic and Universal Algebra in Computer Science (1988)
Ildikó Sain
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic. Algebraic Logic and Universal Algebra in Computer Science (1988)
Fernando Guzmán
The implications in conditional logic. Algebraic Logic and Universal Algebra in Computer Science (1988)
H. Peter Gumm
Continuations of logic programs. Algebraic Logic and Universal Algebra in Computer Science (1988)
Isidore Fleischer
The abstract Galois theory: a survey. Algebraic Logic and Universal Algebra in Computer Science (1988)
Vaughan R. Pratt
Dynamic algebras as a well-behaved fragment of relation algebras. Algebraic Logic and Universal Algebra in Computer Science (1988)
Hajnal Andréka, Bjarni Jónsson, István Németi
Relatively free relation algebras. Algebraic Logic and Universal Algebra in Computer Science (1988)
Ivo G. Rosenberg
Mal'cev algebras for universal algebra terms. Algebraic Logic and Universal Algebra in Computer Science (1988)
Marek A. Suchenek
Incremental models of updating data bases. Algebraic Logic and Universal Algebra in Computer Science (1988)