Format:
Online-Ressource (XI, 292 S.)
Edition:
Online-Ausg. New York [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9780387348049
Series Statement:
Lecture notes in computer science 425
Content:
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.
Note:
Literaturangaben
Additional Edition:
ISBN 0387972889
Additional Edition:
ISBN 3540972889
Additional Edition:
ISBN 9780387972886
Additional Edition:
ISBN 9783540972884
Additional Edition:
Erscheint auch als Druck-Ausgabe Algebraic logic and universal algebra in computer science Berlin : Springer, 1990 ISBN 3540972889
Additional Edition:
ISBN 0387972889
Language:
English
Keywords:
Informatik
;
Algebraische Methode
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
