Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (Lecture Notes In Computer Science) (Lecture Notes in Computer Science, 425, Band 425) - Softcover

 
9780387972886: Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (Lecture Notes In Computer Science) (Lecture Notes in Computer Science, 425, Band 425)
Softcover
ISBN 10: 0387972889 ISBN 13: 9780387972886
Verlag: Springer, 2000

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
0387972889
ISBN 13 
9780387972886
Einband
Taschenbuch
Anzahl der Seiten
308
Herausgeber
Bergman Clifford H.
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland