-
Anglický jazyk
Algebraic Logic and Universal Algebra in Computer Science
Autor: Clifford H. Bergman
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
49.49 €
bežná cena: 54.99 €
O knihe
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.
- Vydavateľstvo: Springer New York
- Rok vydania: 2000
- Formát: Paperback
- Rozmer: 244 x 170 mm
- Jazyk: Anglický jazyk
- ISBN: 9780387972886
Nemecký jazyk 
