LEADER 04778nam  22007215  450 
001 996466099903316
005 20200701012843.0
010   $a3-540-48599-6
024 7 $a10.1007/BFb0049319
035   $a(CKB)1000000000234150
035   $a(SSID)ssj0000322125
035   $a(PQKBManifestationID)11227110
035   $a(PQKBTitleCode)TC0000322125
035   $a(PQKBWorkID)10280367
035   $a(PQKB)10670238
035   $a(DE-He213)978-3-540-48599-5
035   $a(PPN)155230204
035   $a(EXLCZ)991000000000234150
100   $a20121227d1994      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Science Logic$b[electronic resource] $e7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers /$fedited by Egon Börger, Yuri Gurevich, Karl Meinke
205   $a1st ed. 1994.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994.
215   $a1 online resource (VIII, 336 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v832
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-58277-0 
327   $aThe complexity of set constraints -- On duality for the modal ?-calculus -- Short proofs of tautologies using the schema of equivalence -- Process algebra with combinators -- Is game semantics necessary? -- The model theory of concurrency -- From semantics to rules: A machine assisted analysis -- On the reasons for average superlinear speedup in parallel backtrack search -- Negation as inconsistency in PROLOG via intuitionistic logic -- Approximable minimization problems and optimal solutions on random inputs -- Bounded-arity hierarchies in fixed-point logics -- Petri nets and the equivalence problem -- Logical aspects of set constraints -- Oracles and quantifiers -- A Horn clause that implies an undecidable set of Horn clauses -- Higher-order action calculi -- A generic strong normalization argument: Application to the Calculus of Constructions -- Data types, infinity and equality in system AF 2 -- Normalization for typed lambda calculi with explicit substitution -- Program transformation and proof transformation -- Incorporating generalized quantifiers and the least fixed point operator -- ?The semantics of the C programming language?.
330   $aThis volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v832
606   $aComputers
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial intelligence
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aComputers.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aTheory of Computation.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Foundations.
615 24$aMathematical Logic and Formal Languages.
615 24$aComputation by Abstract Devices.
615 24$aArtificial Intelligence.
676   $a004/.01/5113
702   $aBörger$b Egon$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGurevich$b Yuri$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMeinke$b Karl$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aWorkshop on Computer Science Logic
906   $aBOOK
912   $a996466099903316
996   $aComputer Science Logic$9771972
997   $aUNISA