Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, U.S.A., June 1-4, 1988 Proceedings
Annotation
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer
July 1990
|
| Series: | Lecture notes in computer science ;
vol. 425 |
| Subjects: |
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