Normal view MARC view ISBD view

Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / [electronic resource] : edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi. - New York, NY : Springer New York, 1990. - XI, 292 p. online resource. - Lecture Notes in Computer Science, 425 0302-9743 ; . - Lecture Notes in Computer Science, 425 .

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.

ISBN: 9780387348049

Standard No.: 10.1007/BFb0043074 doi

Subjects--Topical Terms:
Computer science.
Data structures (Computer science).
Computer software.
Logic design.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Data Structures.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.

LC Class. No.: QA76.9.L63 QA76.5913 QA76.63

Dewey Class. No.: 005.1015113