Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings. 1st ed. 1990

種類:

電子ブック

責任表示:

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

出版情報:

New York, NY : Springer New York : Imprint: Springer, 1990

著者名:

• Bergman, Clifford H.
• Maddux, Roger D.
• Pigozzi, Don L.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 425

ISBN:

9780387348049 [0387348042]    

注記:

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.

ローカル注記:

学内専用E-BOOKS (local access only)