CSL 2012 September 3-6, 2012, Fontainebleau, France

Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL



Patrick Cégielski and Arnaud Durand (Eds.)
ISBN 978-3-939897-42-2, LIPICS Vol. 16 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 18 MB)
Search Publication Server


Authors
  • Abiteboul, Serge
  • Altenkirch, Thorsten
  • Aschieri, Federico
  • Atkey, Robert
  • Baillot, Patrick
  • Berardi, Stefano
  • Bertrand, Nathalie
  • Birkedal, Lars
  • Bodirsky, Manuel
  • Brault-Baron, Johann
  • Cégielski, Patrick
  • Caires, Luís
  • Carraro, Alberto
  • Chatterjee, Krishnendu
  • Chaubal, Siddhesh
  • Chaudhuri, Kaustuv
  • Chrzaszcz, Jacek
  • Cook, Stephen A.
  • Coquand, Thierry
  • Düdder, Boris
  • Dal Lago, Ugo
  • Dawar, Anuj
  • de'Liguoro, Ugo
  • DeYoung, Henry
  • Durand, Arnaud
  • Ehrhard, Thomas
  • Fearnley, John
  • Grädel, Erich
  • Grandjean, Etienne
  • Grohe, Martin
  • Hetzl, Stefan
  • Hida, Takanori
  • Holm, Bjarki
  • Jouannaud, Jean-Pierre
  • Kaiser, Lukasz
  • Kamath, Pritish
  • Keller, Chantal
  • Kieronski, Emanuel
  • Kopczynski, Eryk
  • Kotek, Tomer
  • Kufleitner, Manfred
  • Kuroda, Satoru
  • Kuske, Dietrich
  • Kuusisto, Antti
  • Lasson, Marc
  • Leßenich, Simon
  • Leitsch, Alexander
  • Li, Jianqi
  • Lynce, Inês
  • Makowsky, Johann A.
  • Martens, Moritz
  • Meyers, Jeremy
  • Michaliszyn, Jakub
  • Miller, Dale
  • Niwinski, Damian
  • Olive, Frédéric
  • Otto, Martin
  • Pakusa, Wied
  • Parys, Pawel
  • Pfenning, Frank
  • Rabinovich, Alexander
  • Rehof, Jakob
  • Reis, Giselle
  • Rypacek, Ondrej
  • Salibra, Antonino
  • Schewe, Sven
  • Schubert, Aleksy
  • Sieczkowski, Filip
  • Straßburger, Lutz
  • Thamsborg, Jacob
  • Toninho, Bernardo
  • Urzyczyn, Pawel
  • Virtema, Jonni
  • Weil, Pascal
  • Woltzenlogel Paleo, Bruno
  • Wrona, Michal
  • Wu, Zhilin

  •   
    Frontmatter, Table of Contents, Preface, Conference Organization
    Authors: Cégielski, Patrick ; Durand, Arnaud

    Abstract | Document (304 KB) | BibTeX

    The Ackermann Award 2012
    Authors: Coquand, Thierry ; Dawar, Anuj ; Niwinski, Damian

    Abstract | Document (244 KB) | BibTeX

    Sharing Distributed Knowledge on the Web (Invited Talk)
    Authors: Abiteboul, Serge

    Abstract | Document (199 KB) | BibTeX

    Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk)
    Authors: Cook, Stephen A.

    Abstract | Document (254 KB) | BibTeX

    Satisfiability: where Theory meets Practice (Invited Talk)
    Authors: Lynce, Inês

    Abstract | Document (226 KB) | BibTeX

    Definability and Complexity of Graph Parameters (Invited Talk)
    Authors: Makowsky, Johann A.

    Abstract | Document (212 KB) | BibTeX

    A Syntactical Approach to Weak omega-Groupoids
    Authors: Altenkirch, Thorsten ; Rypacek, Ondrej

    Abstract | Document (557 KB) | BibTeX

    Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms
    Authors: Aschieri, Federico

    Abstract | Document (637 KB) | BibTeX

    Relational Parametricity for Higher Kinds
    Authors: Atkey, Robert

    Abstract | Document (477 KB) | BibTeX

    Higher-Order Interpretations and Program Complexity
    Authors: Baillot, Patrick ; Dal Lago, Ugo

    Abstract | Document (553 KB) | BibTeX

    Knowledge Spaces and the Completeness of Learning Strategies
    Authors: Berardi, Stefano ; de'Liguoro, Ugo

    Abstract | Document (500 KB) | BibTeX

    Bounded Satisfiability for PCTL
    Authors: Bertrand, Nathalie ; Fearnley, John ; Schewe, Sven

    Abstract | Document (502 KB) | BibTeX

    A Concurrent Logical Relation
    Authors: Birkedal, Lars ; Sieczkowski, Filip ; Thamsborg, Jacob

    Abstract | Document (495 KB) | BibTeX

    Equivalence Constraint Satisfaction Problems
    Authors: Bodirsky, Manuel ; Wrona, Michal

    Abstract | Document (514 KB) | BibTeX

    A Negative Conjunctive Query is Easy if and only if it is Beta-Acyclic
    Authors: Brault-Baron, Johann

    Abstract | Document (511 KB) | BibTeX

    On the equational consistency of order-theoretic models of the lambda-calculus
    Authors: Carraro, Alberto ; Salibra, Antonino

    Abstract | Document (440 KB) | BibTeX

    Faster Algorithms for Alternating Refinement Relations
    Authors: Chatterjee, Krishnendu ; Chaubal, Siddhesh ; Kamath, Pritish

    Abstract | Document (460 KB) | BibTeX

    A Systematic Approach to Canonicity in the Classical Sequent Calculus
    Authors: Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale

    Abstract | Document (525 KB) | BibTeX

    ML with PTIME complexity guarantees
    Authors: Chrzaszcz, Jacek ; Schubert, Aleksy

    Abstract | Document (614 KB) | BibTeX

    Definability of linear equation systems over groups and rings
    Authors: Dawar, Anuj ; Grädel, Erich ; Holm, Bjarki ; Kopczynski, Eryk ; Pakusa, Wied

    Abstract | Document (553 KB) | BibTeX

    Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
    Authors: DeYoung, Henry ; Caires, Luís ; Pfenning, Frank ; Toninho, Bernardo

    Abstract | Document (481 KB) | BibTeX

    Bounded Combinatory Logic
    Authors: Düdder, Boris ; Martens, Moritz ; Rehof, Jakob ; Urzyczyn, Pawel

    Abstract | Document (543 KB) | BibTeX

    Collapsing non-idempotent intersection types
    Authors: Ehrhard, Thomas

    Abstract | Document (407 KB) | BibTeX

    Descriptive complexity for pictures languages
    Authors: Grandjean, Etienne ; Olive, Frédéric

    Abstract | Document (498 KB) | BibTeX

    Pebble Games and Linear Equations
    Authors: Grohe, Martin ; Otto, Martin

    Abstract | Document (537 KB) | BibTeX

    Banach-Mazur Games with Simple Winning Strategies
    Authors: Grädel, Erich ; Leßenich, Simon

    Abstract | Document (365 KB) | BibTeX

    Herbrand-Confluence for Cut Elimination in Classical First Order Logic
    Authors: Hetzl, Stefan ; Straßburger, Lutz

    Abstract | Document (541 KB) | BibTeX

    A Computational Interpretation of the Axiom of Determinacy in Arithmetic
    Authors: Hida, Takanori

    Abstract | Document (509 KB) | BibTeX

    Church-Rosser Properties of Normal Rewriting
    Authors: Jouannaud, Jean-Pierre ; Li, Jianqi

    Abstract | Document (434 KB) | BibTeX

    A Counting Logic for Structure Transition Systems
    Authors: Kaiser, Lukasz ; Leßenich, Simon

    Abstract | Document (576 KB) | BibTeX

    Parametricity in an Impredicative Sort
    Authors: Keller, Chantal ; Lasson, Marc

    Abstract | Document (524 KB) | BibTeX

    Two-Variable Universal Logic with Transitive Closure
    Authors: Kieronski, Emanuel ; Michaliszyn, Jakub

    Abstract | Document (465 KB) | BibTeX

    Connection Matrices and the Definability of Graph Parameters
    Authors: Kotek, Tomer ; Makowsky, Johann A.

    Abstract | Document (539 KB) | BibTeX

    The FO2 alternation hierarchy is decidable
    Authors: Kufleitner, Manfred ; Weil, Pascal

    Abstract | Document (641 KB) | BibTeX

    Axiomatizing proof tree concepts in Bounded Arithmetic
    Authors: Kuroda, Satoru

    Abstract | Document (391 KB) | BibTeX

    Isomorphisms of scattered automatic linear orders
    Authors: Kuske, Dietrich

    Abstract | Document (1,107 KB) | BibTeX

    Undecidable First-Order Theories of Affine Geometries
    Authors: Kuusisto, Antti ; Meyers, Jeremy ; Virtema, Jonni

    Abstract | Document (510 KB) | BibTeX

    Towards CERes in intuitionistic logic
    Authors: Leitsch, Alexander ; Reis, Giselle ; Woltzenlogel Paleo, Bruno

    Abstract | Document (445 KB) | BibTeX

    Variants of Collapsible Pushdown Systems
    Authors: Parys, Pawel

    Abstract | Document (482 KB) | BibTeX

    A Proof of Kamp's theorem
    Authors: Rabinovich, Alexander

    Abstract | Document (494 KB) | BibTeX

    Commutative Data Automata
    Authors: Wu, Zhilin

    Abstract | Document (493 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI