LEADER 05077nam 22007215 450 001 996465419803316 005 20200704194144.0 010 $a3-540-69201-0 024 7 $a10.1007/3-540-63172-0 035 $a(CKB)1000000000234664 035 $a(SSID)ssj0000322128 035 $a(PQKBManifestationID)11227111 035 $a(PQKBTitleCode)TC0000322128 035 $a(PQKBWorkID)10280819 035 $a(PQKB)11679335 035 $a(DE-He213)978-3-540-69201-0 035 $a(PPN)155216473 035 $a(EXLCZ)991000000000234664 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science Logic$b[electronic resource] $e10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /$fedited by Dirk van Dalen, Marc Bezem 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (IX, 479 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1258 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-63172-0 327 $aFour-valued diagnoses for stratified knowledge-bases -- Fast cut-elimination by projection -- On the subject reduction property for algebraic type systems -- Presheaf models for concurrency -- Directed virtual reductions -- Bounded-variable fixpoint queries are PSPACE-complete -- Graph rewriting semantics for functional programming languages -- An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory -- Relative undecidability in term rewriting -- Extending models of second order predicate logic to models of second order dependent type theory -- Eta-expansions in F ? -- Cut-free display calculi for relation algebras -- Computational aspects of arity hierarchies -- Weak semantics based on lighted button pressing experiments -- Kleene algebra with tests: Completeness and decidability -- Monadic NP and built-in trees -- Coercive subtyping in type theory -- Proofs in system F ? can be done in system F ? 1 -- Optimization problems with approximation schemes -- Computational representations of herbrand models using grammars -- Exact pairs for abstract bounded reducibilities -- The logic of explicitly presentation-invariant circuits -- Social confluence in client-server systems -- A type-free resource-aware ?-calculus -- Inductive definitions with decidable atomic formulas -- Call-by-Value, call-by-name and the logic of values -- On Cartesian monoids -- New intuitionistic logical constants: Undecidability of the conservativeness problem. 330 $aThis book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996. The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1258 606 $aArchitecture, Computer 606 $aComputers 606 $aMathematical logic 606 $aArtificial intelligence 606 $aComputer logic 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 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$aArchitecture, Computer. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 14$aComputer System Implementation. 615 24$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 676 $a004/.01/5113 702 $aDalen$b Dirk van$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBezem$b Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aEuropean Association for Computer Science Logic.$bConference$d(5th :$f1996 :$eUtrecht, Netherlands) 712 12$aWorkshop on Computer Science Logic 906 $aBOOK 912 $a996465419803316 996 $aComputer Science Logic$9771972 997 $aUNISA