Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings (Q1188694)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Andréka, H.; Jónsson, B.; Németi, I.}, Relatively free relation algebras, 1-14 [Zbl 0783.03035] \textit{Berman, Joel}, The value of free algebras, 15-26 [Zbl 0791.08005] \textit{Gumm, H. Peter}, Continuations of logic programs, 27-36 [Zbl 0800.68295] \textit{Németi, István}, On cylindric algebraic model theory, 37-75 [Zbl 0793.03073] \textit{Pratt, Vaughan}, Dynamic algebras as a well-behaved fragment of relation algebras, 77-110 [Zbl 0783.03036] \textit{Wagner, Eric G.}, All recursive types defined using products and sums can be implemented using pointers, 111-132 [Zbl 0800.68331] \textit{Fleischer, Isidore}, The abstract Galois theory: A survey, 133-137 [Zbl 0791.08002] \textit{Guzmán, Fernando}, The implications in conditional logic, 139-159 [Zbl 0783.03008] \textit{Moss, Lawrence S.; Thatte, Satish R.}, Optimal semantics of data type extensions, 161-180 [Zbl 0800.68563] \textit{Nelson, G. C.}, Other logics for (equational) theories, 181-194 [Zbl 0793.03034] \textit{Rosenberg, Ivo G.}, Mal'cev algebras for universal algebra terms, 195-208 [Zbl 0789.08004] \textit{Sain, Ildikó}, Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic, 209-225 [Zbl 0793.03076] \textit{Stachniak, Zbigniew}, The resolution rule: An algebraic perspective, 227-242 [Zbl 0783.03004] \textit{Suchenek, Marek A.}, Incremental models of updating data bases, 243-271 [Zbl 0798.68046] \textit{Thompson, Richard J.}, Noncommutative cylindric algebras and relativizations of cylindric algebras, 273-278 [Zbl 0783.03037] \textit{Zaionc, Marek}, On the \(\lambda\)-definable tree operations, 279-292 [Zbl 0783.03005]