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.
Material type: TextSeries: Lecture Notes in Computer Science ; 425Publisher: New York, NY : Springer New York, 1990Description: XI, 292 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9780387348049Subject(s): Computer science | Data structures (Computer science) | Computer software | Logic design | Algebra -- Data processing | Logic, Symbolic and mathematical | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Algorithm Analysis and Problem Complexity | Data Structures | Symbolic and Algebraic Manipulation | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No titleDDC classification: 005.1015113 LOC classification: QA76.9.L63QA76.5913QA76.63Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK2981 |
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.
There are no comments on this title.