Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings

by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi

Overview

The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.

Product Details

ISBN-13:	9780387972886
Publisher:	Springer New York
Publication date:	11/13/2000
Series:	Lecture Notes in Computer Science , #425
Edition description:	1990
Pages:	292
Product dimensions:	6.69(w) x 9.61(h) x (d)

Table of 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.

Editorial Reviews

The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews