LEADER 05372nam 22007575 450 001 996465635103316 005 20200705173035.0 010 $a3-540-68507-3 024 7 $a10.1007/3-540-61377-3 035 $a(CKB)1000000000234471 035 $a(SSID)ssj0000322127 035 $a(PQKBManifestationID)11232342 035 $a(PQKBTitleCode)TC0000322127 035 $a(PQKBWorkID)10280368 035 $a(PQKB)10486684 035 $a(DE-He213)978-3-540-68507-4 035 $a(PPN)155166573 035 $a(EXLCZ)991000000000234471 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science Logic$b[electronic resource] $e9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers /$fedited by Hans Kleine Buening 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (VIII, 492 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1092 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61377-3 327 $aIncompleteness of a first-order gödel logic and some temporal logics of programs -- Semantics of non-terminating rewrite systems using minimal coverings -- Congruence Types -- Deduction by combining semantic tableaux and integer programming -- leanEA: A lean evolving algebra compiler -- A proof system for finite trees -- Representing unification in a logical framework -- Decision procedures using model building techniques -- A note on the relation between polynomial time functionals and Constable's class K -- First order logic, fixed point logic and linear order -- Simultaneous rigid E-unification is undecidable -- An evolving algebra abstract machine -- Rewriting with extensional polymorphic ?-calculus -- Languages and logical definability in concurrency monoids -- Generalized implicit definitions on finite structures -- The railroad crossing problem: An experiment with instantaneous actions and immediate reactions -- A logical aspect of parametric polymorphism -- On the modal logic K plus theories -- Improved decision procedures for the modal logics K, T and S4 -- A fully abstract denotational model for observational precongruence -- On sharply bounded length induction -- Effective strategies for enumeration games -- Bounded fixed-point definability and tabular recognition of languages -- Equivalences among various logical frameworks of partial algebras -- Some extensions to propositional mean-value calculus: Expressiveness and decidability -- Theorem proving modulo associativity -- Positive deduction modulo regular theories. 330 $aThis book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995. The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1092 606 $aComputers 606 $aProgramming languages (Electronic computers) 606 $aArchitecture, Computer 606 $aMathematical logic 606 $aArtificial intelligence 606 $aComputer logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputers. 615 0$aProgramming languages (Electronic computers). 615 0$aArchitecture, Computer. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 14$aTheory of Computation. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer System Implementation. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 676 $a004/.01/5113 702 $aKleine Buening$b Hans$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aEuropean Association for Computer Science Logic.$bConference$d(4th :$f1995 :$ePaderborn, Germany) 712 12$aWorkshop on Computer Science Logic 906 $aBOOK 912 $a996465635103316 996 $aComputer Science Logic$9771972 997 $aUNISA