Algebraic Logic and Universal Algebra in Computer Science [[electronic resource] ] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi

• Pubblicazione: New York, NY : , : Springer New York : , : Imprint : Springer, , 1990
• Edizione: 1st ed. 1990.
• Descrizione fisica: 1 online resource (XI, 292 p.)
• Disciplina: 512
• Soggetto topico: Computer logic; Mathematical logic; Algorithms; Data structures (Computer science); Computer science—Mathematics; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Data Structures; Symbolic and Algebraic Manipulation; Mathematical Logic and Foundations
• Persona (resp. second.): BergmanClifford H; MadduxRoger D; PigozziDon L
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Algebraic Logic and Universal Algebra in Computer Science
• ISBN: 0-387-34804-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465940603316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 425