Ebook: Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Author: H. Andréka B. Jónsson I. Németi (auth.) Clifford H. Bergman Roger D. Maddux Don L. Pigozzi (eds.)
- Tags: 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
- Series: Lecture Notes in Computer Science 425
- Year: 1990
- Publisher: Springer-Verlag New York
- Edition: 1
- Language: English
- pdf
Content:
Front Matter....Pages -
Relatively free relation algebras....Pages 1-14
The value of free algebras....Pages 15-26
Continuations of logic programs....Pages 27-36
On cylindric algebraic model theory....Pages 37-75
Dynamic algebras as a well-behaved fragment of relation algebras....Pages 77-110
All recursive types defined using products and sums can be implemented using pointers....Pages 111-132
The abstract Galois theory: A survey....Pages 133-137
The implications in conditional logic....Pages 139-159
Optimal semantics of data type extensions....Pages 161-180
Other logics for (equational) theories....Pages 181-194
Mal'cev algebras for universal algebra terms....Pages 195-208
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic....Pages 209-225
The resolution rule: An algebraic perspective....Pages 227-242
Incremental models of updating data bases....Pages 243-271
Noncommutative cylindric algebras and relativizations of cylindric algebras....Pages 273-278
On the ?-definable tree operations....Pages 279-292
Content:
Front Matter....Pages -
Relatively free relation algebras....Pages 1-14
The value of free algebras....Pages 15-26
Continuations of logic programs....Pages 27-36
On cylindric algebraic model theory....Pages 37-75
Dynamic algebras as a well-behaved fragment of relation algebras....Pages 77-110
All recursive types defined using products and sums can be implemented using pointers....Pages 111-132
The abstract Galois theory: A survey....Pages 133-137
The implications in conditional logic....Pages 139-159
Optimal semantics of data type extensions....Pages 161-180
Other logics for (equational) theories....Pages 181-194
Mal'cev algebras for universal algebra terms....Pages 195-208
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic....Pages 209-225
The resolution rule: An algebraic perspective....Pages 227-242
Incremental models of updating data bases....Pages 243-271
Noncommutative cylindric algebras and relativizations of cylindric algebras....Pages 273-278
On the ?-definable tree operations....Pages 279-292
....
Download the book Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)