Title Proceedings / Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 ; C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)

Published Berlin ; New York : Springer-Verlag, ©1990

Click on the following:
Springer eBooks

Copies

Description 1 online resource (xi, 292 pages) : illustrations Series Lecture notes in computer science ; 425 Lecture notes in computer science ; 425. Contents Relatively free relation algebras -- The value of free algebras -- Continuations of logic programs -- On cylindric algebraic model theory -- Dynamic algebras as a well-behaved fragment of relation algebras -- All recursive types defined using products and sums can be implemented using pointers -- The abstract Galois theory: A survey -- The implications in conditional logic -- Optimal semantics of data type extensions -- Other logics for (equational) theories -- Mal'cev algebras for universal algebra terms -- Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic -- The resolution rule: An algebraic perspective -- Incremental models of updating data bases -- Noncommutative cylindric algebras and relativizations of cylindric algebras -- On the?-definable tree operations Bibliography Includes bibliographical references Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject Algebraic logic -- Congresses Algebra, Universal -- Congresses Algebra, Universal Algebraic logic Logique algébrique -- Congrès. Algèbre universelle -- Congrès. Genre/Form Conference papers and proceedings Form Electronic book Author Bergman, C. H. (Clifford H.), 1953- Maddux, R. D. (Roger D.), 1948- Pigozzi, Don, 1935- ISBN 9780387348049 0387348042

  Permalink