Algebraic Logic and Universal Algebra in Computer Science
Springer-Verlag New York Inc.
978-0-387-97288-6 (ISBN)
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.
| Erscheint lt. Verlag | 13.11.2000 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science ; 425 |
| Zusatzinfo | XI, 292 p. |
| Verlagsort | New York, NY |
| Sprache | englisch |
| Maße | 170 x 244 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Algebra | |
| ISBN-10 | 0-387-97288-9 / 0387972889 |
| ISBN-13 | 978-0-387-97288-6 / 9780387972886 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
