LEADER 04937nam  22007575  450 
001 996466570003316
005 20230222032306.0
010   $a1-280-38839-0
010   $a9786613566317
010   $a3-642-15205-8
024 7 $a10.1007/978-3-642-15205-4
035   $a(CKB)2670000000036387
035   $a(SSID)ssj0000446371
035   $a(PQKBManifestationID)11299745
035   $a(PQKBTitleCode)TC0000446371
035   $a(PQKBWorkID)10495814
035   $a(PQKB)10017386
035   $a(DE-He213)978-3-642-15205-4
035   $a(MiAaPQ)EBC3065678
035   $a(PPN)149018045
035   $a(EXLCZ)992670000000036387
100   $a20100814d2010      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Science Logic$b[electronic resource] $e24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /$fedited by Anuj Dawar, Helmut Veith
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (XIV, 548 p. 64 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6247
300   $aIncludes index.
311   $a3-642-15204-X 
327   $aInvited Talks -- Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries -- Definability in Games -- From Feasible Proofs to Feasible Computations -- Tree Dualities for Constraint Satisfaction -- Ordered Sets in the Calculus of Data Structures -- Abductive, Inductive and Deductive Reasoning about Resources -- Constraint Solving for Program Verification: Theory and Practice by Example -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic -- Efficient Enumeration for Conjunctive Queries over X-underbar Structures -- A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 -- Automata vs. Logics on Data Words -- Graded Computation Tree Logic with Binary Coding -- Exact Exploration and Hanging Algorithms -- Embedding Deduction Modulo into a Prover -- Exponentials with Infinite Multiplicities -- Classical and Intuitionistic Subexponential Logics Are Equally Expressive -- On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT -- A Logic of Sequentiality -- Environment and Classical Channels in Categorical Quantum Mechanics -- Formal Theories for Linear Algebra -- Energy and Mean-Payoff Games with Imperfect Information -- Randomisation and Derandomisation in Descriptive Complexity Theory -- Towards a Canonical Classical Natural Deduction System -- Coordination Logic -- Second-Order Equational Logic (Extended Abstract) -- Fibrational Induction Rules for Initial Algebras -- A Sequent Calculus with Implicit Term Representation -- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures -- The Structural ?-Calculus -- The Isomorphism Problem for ?-Automatic Trees -- Complexity Results for Modal Dependence Logic -- The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case -- On the Computability of Region-Based Euclidean Logics -- Inductive-Inductive Definitions -- Quantified Differential Dynamic Logic for Distributed Hybrid Systems -- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic -- Two-Variable Logic with Two Order Relations -- Signature Extensions Preserve Termination -- Coq Modulo Theory -- Ackermann Award -- The Ackermann Award 2010.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6247
606   $aComputer science
606   $aComputer programming
606   $aSoftware engineering
606   $aMachine theory
606   $aArtificial intelligence
606   $aTheory of Computation
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615 14$aTheory of Computation.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
676   $a004.015113
702   $aDawar$b Anuj$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVeith$b Helmut$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCSL 2010
906   $aBOOK
912   $a996466570003316
996   $aComputer Science Logic$9771972
997   $aUNISA