Algebraic Logic and Universal Algebra in Computer Science

Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi (Herausgeber)

Buch | Softcover

292 Seiten

2000 | 1990 ed.
Springer-Verlag New York Inc.
978-0-387-97288-6 (ISBN)

Artikel merken

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.

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.

Erscheint lt. Verlag	13.11.2000
Reihe/Serie	Lecture Notes in Computer Science ; 425
Zusatzinfo	XI, 292 p.
Verlagsort	New York, NY
Sprache	englisch
Maße	170 x 244 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Algebra
ISBN-10	0-387-97288-9 / 0387972889
ISBN-13	978-0-387-97288-6 / 9780387972886
Zustand	Neuware