Vai al contenuto principale della pagina
Titolo: | 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 |
Opac: | Controlla la disponibilità qui |