04045nam 22007335 450 99646594060331620200701162049.00-387-34804-210.1007/BFb0043074(CKB)1000000000548782(SSID)ssj0000321122(PQKBManifestationID)11247368(PQKBTitleCode)TC0000321122(PQKBWorkID)10262790(PQKB)11594226(DE-He213)978-0-387-34804-9(PPN)155213687(EXLCZ)99100000000054878220100730d1990 u| 0engurnn|008mamaatxtccrAlgebraic 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. Pigozzi1st ed. 1990.New York, NY :Springer New York :Imprint: Springer,1990.1 online resource (XI, 292 p.) Lecture Notes in Computer Science,0302-9743 ;425Bibliographic Level Mode of Issuance: Monograph0-387-97288-9 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.Lecture Notes in Computer Science,0302-9743 ;425Computer logicMathematical logicAlgorithmsData structures (Computer science)Computer science—MathematicsLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Data Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I15017Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computer 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.512Bergman Clifford Hedthttp://id.loc.gov/vocabulary/relators/edtMaddux Roger Dedthttp://id.loc.gov/vocabulary/relators/edtPigozzi Don Ledthttp://id.loc.gov/vocabulary/relators/edtAlgebraic Logic and Universal Algebra in Computer Science ConferenceBOOK996465940603316Algebraic Logic and Universal Algebra in Computer Science2831115UNISA