LEADER 04045nam  22007335  450 
001 996465940603316
005 20200701162049.0
010   $a0-387-34804-2
024 7 $a10.1007/BFb0043074
035   $a(CKB)1000000000548782
035   $a(SSID)ssj0000321122
035   $a(PQKBManifestationID)11247368
035   $a(PQKBTitleCode)TC0000321122
035   $a(PQKBWorkID)10262790
035   $a(PQKB)11594226
035   $a(DE-He213)978-0-387-34804-9
035   $a(PPN)155213687
035   $a(EXLCZ)991000000000548782
100   $a20100730d1990      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic Logic and Universal Algebra in Computer Science$b[electronic resource] $eConference, Ames, Iowa, USA June 1?4, 1988 Proceedings /$fedited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi
205   $a1st ed. 1990.
210  1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d1990.
215   $a1 online resource (XI, 292 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v425
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-387-97288-9 
327   $aRelatively 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v425
606   $aComputer logic
606   $aMathematical logic
606   $aAlgorithms
606   $aData structures (Computer science)
606   $aComputer science?Mathematics
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aAlgorithms.
615  0$aData structures (Computer science).
615  0$aComputer science?Mathematics.
615 14$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aData Structures.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aMathematical Logic and Foundations.
676   $a512
702   $aBergman$b Clifford H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMaddux$b Roger D$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPigozzi$b Don L$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aAlgebraic Logic and Universal Algebra in Computer Science Conference
906   $aBOOK
912   $a996465940603316
996   $aAlgebraic Logic and Universal Algebra in Computer Science$92831115
997   $aUNISA