Algebraic Logic and Universal Algebra in Computer Science (häftad)

Fler böcker inom

Format: Häftad (Paperback / softback)
Språk: Engelska
Antal sidor: 292
Utgivningsdatum: 2000-11-01
Upplaga: 1990 ed.
Förlag: Springer-Verlag New York Inc.
Medarbetare: Bergman, Clifford H. (ed.), Maddux, Roger D. (ed.), Pigozzi, Don L. (ed.)
Illustrationer: XI, 292 p.
Dimensioner: 244 x 170 x 17 mm
Vikt
Antal komponenter: 1
Komponenter: 1 Paperback / softback
ISBN: 9780387972886

Algebraic Logic and Universal Algebra in Computer Science

Name: Algebraic Logic and Universal Algebra in Computer Science
Price: 775.00 SEK
Availability: InStock
Author: Clifford H Bergman, Roger D Maddux, Don L Pigozzi
ISBN: 9780387972886

Conference, Ames, Iowa, USA June 14, 1988 Proceedings

av Clifford H Bergman, Roger D Maddux, Don L Pigozzi

Häftad, Engelska, 2000-11-01

775

Köp

Spara som favorit

Skickas från oss inom 7-10 vardagar.
Fri frakt över 249 kr för privatkunder i Sverige.

The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.

Visa hela texten

Passar bra ihop

De som köpt den här boken har ofta också köpt Fostering Sustainable Behavior av Doug McKenzie-Mohr (häftad).

Köp båda 2 för 1119 kr

Semantic Foundations of Logic Volume 1: Propositional Logics

Walter Carnielli, R L Epstein, Itala M D'Ottaviano, Stanislaw Krajewski, Roger D Maddux

This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the mathematical theorems about...

761

Ladda ned

Laddas ned direkt

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.