Umfang:
Online-Ressource (XI, 292 S.)
Ausgabe:
Online-Ausg. New York [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9780387348049
Serie:
Lecture notes in computer science 425
Inhalt:
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.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 0387972889
Weitere Ausg.:
ISBN 3540972889
Weitere Ausg.:
ISBN 9780387972886
Weitere Ausg.:
ISBN 9783540972884
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Algebraic logic and universal algebra in computer science Berlin : Springer, 1990 ISBN 3540972889
Weitere Ausg.:
ISBN 0387972889
Sprache:
Englisch
Schlagwort(e):
Informatik
;
Algebraische Methode
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
