UID:
almahu_9947921010202882
Umfang:
XI, 292 p.
,
online resource.
ISBN:
9780387348049
Serie:
Lecture Notes in Computer Science, 425
Anmerkung:
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.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9780387972886
Sprache:
Englisch
URL:
http://dx.doi.org/10.1007/BFb0043074
