Cantitate/Preț
Produs

Algebraic Logic and Universal Algebra in Computer Science: Lecture Notes in Computer Science, cartea 425

Editat de Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi
en Limba Engleză Paperback – 13 noi 2000

Din seria Lecture Notes in Computer Science

Preț: 32485 lei

Preț vechi: 40607 lei
-20%

Puncte Express: 487

Carte tipărită la comandă

Livrare economică 11-25 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9780387972886
ISBN-10: 0387972889
Pagini: 308
Ilustrații: XI, 292 p.
Dimensiuni: 170 x 244 x 17 mm
Greutate: 0.54 kg
Ediția:1990
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

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.