Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar24. CSL 2010: Brno, Czech Republic
Anuj Dawar, Helmut Veith:
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
- David A. Basin, Cas J. F. Cremers:
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. 1-18 - Viktor Kuncak, Ruzica Piskac, Philippe Suter:
Ordered Sets in the Calculus of Data Structures. 34-48
Contributed Papers
- Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky:
Tableau Calculi for CSL\mathcal{CSL} over minspaces. 52-66 - 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 - Alessandro Bianco, Fabio Mogavero, Aniello Murano:
Graded Computation Tree Logic with Binary Coding. 125-139 - 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 - Bob Coecke, Simon Perdrix:
Environment and Classical Channels in Categorical Quantum Mechanics. 230-244 - 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 - Neil Ghani, Patricia Johann, Clément Fumex:
Fibrational Induction Rules for Initial Algebras. 336-350 - Tobias Ganzow, Lukasz Kaiser:
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures. 366-380 - Dietrich Kuske, Jiamou Liu, Markus Lohrey:
The Isomorphism Problem for omega-Automatic Trees. 396-410 - Barnaby Martin, Jos Martin:
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case. 426-438 - 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
maintained by 
at 
at 
last updated on 2018-10-19 22:41 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint