24. CSL 2010:
Brno,
Czech Republic
Anuj Dawar, Helmut Veith (Eds.):
Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings.
Lecture Notes in Computer Science 6247 Springer 2010, ISBN 978-3-642-15204-7 
Invited Talks
Contributed Papers
- Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky:
Tableau Calculi for CSL\mathcal{CSL} over minspaces.
52-66
- Matthias Baaz, Christian G. Fermüller:
A Resolution Mechanism for Prenex Gödel Logic.
67-79
- Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin:
Efficient Enumeration for Conjunctive Queries over X-underbar Structures.
80-94
- Aditi Barthwal, Michael Norrish:
A Formalisation of the Normal Forms of Context-Free Grammars in HOL4.
95-109
- Michael Benedikt, Clemens Ley, Gabriele Puppis:
Automata vs. Logics on Data Words.
110-124
- Alessandro Bianco, Fabio Mogavero, Aniello Murano:
Graded Computation Tree Logic with Binary Coding.
125-139
- Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
Exact Exploration and Hanging Algorithms.
140-154
- Guillaume Burel:
Embedding Deduction Modulo into a Prover.
155-169
- Alberto Carraro, Thomas Ehrhard, Antonino Salibra:
Exponentials with Infinite Multiplicities.
170-184
- Kaustuv Chaudhuri:
Classical and Intuitionistic Subexponential Logics Are Equally Expressive.
185-199
- Yijia Chen, Jörg Flum:
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT.
200-214
- Martin Churchill, James Laird:
A Logic of Sequentiality.
215-229
- Bob Coecke, Simon Perdrix:
Environment and Classical Channels in Categorical Quantum Mechanics.
230-244
- Stephen A. Cook, Lila Fontes:
Formal Theories for Linear Algebra.
245-259
- Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk:
Energy and Mean-Payoff Games with Imperfect Information.
260-274
- Kord Eickmeyer, Martin Grohe:
Randomisation and Derandomisation in Descriptive Complexity Theory.
275-289
- José Espírito Santo:
Towards a Canonical Classical Natural Deduction System.
290-304
- Bernd Finkbeiner, Sven Schewe:
Coordination Logic.
305-319
- Marcelo P. Fiore, Chung-Kil Hur:
Second-Order Equational Logic (Extended Abstract).
320-335
- Neil Ghani, Patricia Johann, Clément Fumex:
Fibrational Induction Rules for Initial Algebras.
336-350
- Stefan Hetzl:
A Sequent Calculus with Implicit Term Representation.
351-365
- Tobias Ganzow, Lukasz Kaiser:
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures.
366-380
- Beniamino Accattoli, Delia Kesner:
The Structural lambda-Calculus.
381-395
- Dietrich Kuske, Jiamou Liu, Markus Lohrey:
The Isomorphism Problem for omega-Automatic Trees.
396-410
- Peter Lohmann, Heribert Vollmer:
Complexity Results for Modal Dependence Logic.
411-425
- Barnaby Martin, Jos Martin:
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case.
426-438
- Yavor Nenov, Ian Pratt-Hartmann:
On the Computability of Region-Based Euclidean Logics.
439-453
- Fredrik Nordvall Forsberg, Anton Setzer:
Inductive-Inductive Definitions.
454-468
- André Platzer:
Quantified Differential Dynamic Logic for Distributed Hybrid Systems.
469-483
- Damien Pous:
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic.
484-498
- Thomas Schwentick, Thomas Zeume:
Two-Variable Logic with Two Order Relations - (Extended Abstract).
499-513
- Christian Sternagel, René Thiemann:
Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs.
514-528
- Pierre-Yves Strub:
Coq Modulo Theory.
529-543
- Johann A. Makowsky, Damian Niwinski:
The Ackermann Award 2010.
544-546
Last update Thu May 24 04:15:27 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
