CSL 2011 September 12–15, 2011, Bergen, Norway

Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL



Marc Bezem (Ed.)
ISBN 978-3-939897-32-3, LIPICS Vol. 12 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 19 MB)
Search Publication Server


Authors
  • Adamek, Jiri
  • Aschieri, Federico
  • Bès, Alexis
  • Beauxis, Romain
  • Berardi, Stefano
  • Bernadet, Alexis
  • Bezem, Marc
  • Birkedal, Lars
  • Boker, Udi
  • Bucciarelli, Antonio
  • Cai, Yang
  • Cantone, Domenico
  • Cardelli, Luca
  • Carraro, Alberto
  • Carton, Olivier
  • Chaudhuri, Kaustuv
  • Cook, Stephen A.
  • Czajka, Lukasz
  • Durand, Arnaud
  • Egri, Laszlo
  • Ehrhard, Thomas
  • Eickmeyer, Kord
  • Escardo, Martin
  • Fogarty, Seth
  • Fridman, Wladimir
  • Grohe, Martin
  • Grußien, Berit
  • Guenot, Nicolas
  • Henzinger, Thomas A.
  • Hernich, André
  • Jeffrey, Alan
  • Jenkins, Mark
  • Kartzow, Alexander
  • Kieronski, Emanuel
  • Komendantskaya, Ekaterina
  • Kopczynski, Eryk
  • Kupferman, Orna
  • Lê, Dai Tri Man
  • Löding, Christof
  • Lösch, Steffen
  • Larsen, Kim G.
  • Laubner, Bastian
  • Lengrand, Stéphane
  • Longo, Cristiano
  • Lustig, Yoad
  • Madhusudan, Parthasarathy
  • Makowsky, Johann A.
  • Manzonetto, Giulio
  • Mardare, Radu
  • Milius, Stefan
  • Mimram, Samuel
  • Miner More, Sara
  • Moss, Lawrence S.
  • Nain, Sumit
  • Naumov, Pavel
  • Nicolosi Asmundo, Marianna
  • Oliva, Paulo
  • Otto, Martin
  • Ouaknine, Joël
  • Pitts, Andrew M.
  • Polonsky, Andrew
  • Powell, Thomas
  • Power, John
  • Rabinovich, Alexander
  • Rathke, Julian
  • Reus, Bernhard
  • Sapp, Benjamin
  • Schnabl, Andreas
  • Schwencke, Daniel
  • Schwinghammer, Jan
  • Simonsen, Jakob Grue
  • Sousa, Lurdes
  • Straßburger, Lutz
  • Straubing, Howard
  • Streicher, Thomas
  • Strozecki, Yann
  • Tatsuta, Makoto
  • Vardi, Moshe Y.
  • Wilke, Thomas
  • Wolter, Frank
  • Worrell, James
  • Ye, Yuli
  • Zhang, Ting
  • Zimmermann, Martin

  •   
    Frontmatter, Table of Contents, Preface, Conference Organization
    Authors: Bezem, Marc

    Abstract | Document (413 KB) | BibTeX

    Resource Lambda-Calculus: the Differential Viewpoint
    Authors: Ehrhard, Thomas

    Abstract | Document (235 KB) | BibTeX

    The Freedoms of Guarded Bisimulation
    Authors: Otto, Martin

    Abstract | Document (189 KB) | BibTeX

    Branching vs. Linear Time: Semantical Perspective
    Authors: Vardi, Moshe Y.

    Abstract | Document (222 KB) | BibTeX

    Ontology-Based Data Access and Constraint Satisfaction
    Authors: Wolter, Frank

    Abstract | Document (216 KB) | BibTeX

    Power-Set Functors and Saturated Trees
    Authors: Adamek, Jiri ; Milius, Stefan ; Moss, Lawrence S. ; Sousa, Lurdes

    Abstract | Document (436 KB) | BibTeX

    Transfinite Update Procedures for Predicative Systems of Analysis
    Authors: Aschieri, Federico

    Abstract | Document (533 KB) | BibTeX

    A Non-Standard Semantics for Kahn Networks in Continuous Time
    Authors: Beauxis, Romain ; Mimram, Samuel

    Abstract | Document (492 KB) | BibTeX

    Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
    Authors: Bernadet, Alexis ; Lengrand, Stéphane

    Abstract | Document (547 KB) | BibTeX

    Algebraic Characterization of FO for Scattered Linear Orderings
    Authors: Bès, Alexis ; Carton, Olivier

    Abstract | Document (470 KB) | BibTeX

    Determinizing Discounted-Sum Automata
    Authors: Boker, Udi ; Henzinger, Thomas A.

    Abstract | Document (492 KB) | BibTeX

    Full Abstraction for Resource Calculus with Tests
    Authors: Bucciarelli, Antonio ; Carraro, Alberto ; Ehrhard, Thomas ; Manzonetto, Giulio

    Abstract | Document (584 KB) | BibTeX

    Tight Upper Bounds for Streett and Parity Complementation
    Authors: Cai, Yang ; Zhang, Ting

    Abstract | Document (617 KB) | BibTeX

    A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics
    Authors: Cantone, Domenico ; Longo, Cristiano ; Nicolosi Asmundo, Marianna

    Abstract | Document (605 KB) | BibTeX

    Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas
    Authors: Cardelli, Luca ; Larsen, Kim G. ; Mardare, Radu

    Abstract | Document (548 KB) | BibTeX

    The Focused Calculus of Structures
    Authors: Chaudhuri, Kaustuv ; Guenot, Nicolas ; Straßburger, Lutz

    Abstract | Document (1,021 KB) | BibTeX

    A Semantic Approach to Illative Combinatory Logic
    Authors: Czajka, Lukasz

    Abstract | Document (497 KB) | BibTeX

    Enumeration Complexity of Logical Query Problems with Second-order Variables
    Authors: Durand, Arnaud ; Strozecki, Yann

    Abstract | Document (548 KB) | BibTeX

    On Constraint Satisfaction Problems below P
    Authors: Egri, Laszlo

    Abstract | Document (837 KB) | BibTeX

    Non-Definability Results for Randomised First-Order Logic
    Authors: Eickmeyer, Kord

    Abstract | Document (516 KB) | BibTeX

    System T and the Product of Selection Functions
    Authors: Escardo, Martin ; Oliva, Paulo ; Powell, Thomas

    Abstract | Document (544 KB) | BibTeX

    Unifying Büchi Complementation Constructions
    Authors: Fogarty, Seth ; Kupferman, Orna ; Vardi, Moshe Y. ; Wilke, Thomas

    Abstract | Document (608 KB) | BibTeX

    Degrees of Lookahead in Context-free Infinite Games
    Authors: Fridman, Wladimir ; Löding, Christof ; Zimmermann, Martin

    Abstract | Document (531 KB) | BibTeX

    L-Recursion and a new Logic for Logarithmic Space
    Authors: Grohe, Martin ; Grußien, Berit ; Hernich, André ; Laubner, Bastian

    Abstract | Document (605 KB) | BibTeX

    The Lax Braided Structure of Streaming I/O
    Authors: Jeffrey, Alan ; Rathke, Julian

    Abstract | Document (586 KB) | BibTeX

    The Church Synthesis Problem with Metric
    Authors: Jenkins, Mark ; Ouaknine, Joël ; Rabinovich, Alexander ; Worrell, James

    Abstract | Document (601 KB) | BibTeX

    A Pumping Lemma for Collapsible Pushdown Graphs of Level 2
    Authors: Kartzow, Alexander

    Abstract | Document (478 KB) | BibTeX

    Decidability Issues for Two-Variable Logics with Several Linear Orders
    Authors: Kieronski, Emanuel

    Abstract | Document (731 KB) | BibTeX

    Coalgebraic Derivations in Logic Programming
    Authors: Komendantskaya, Ekaterina ; Power, John

    Abstract | Document (600 KB) | BibTeX

    Trees in Trees: Is the Incomplete Information about a Tree Consistent?
    Authors: Kopczynski, Eryk

    Abstract | Document (593 KB) | BibTeX

    A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem
    Authors: Lê, Dai Tri Man ; Cook, Stephen A. ; Ye, Yuli

    Abstract | Document (564 KB) | BibTeX

    Relating Two Semantics of Locally Scoped Names
    Authors: Lösch, Steffen ; Pitts, Andrew M.

    Abstract | Document (459 KB) | BibTeX

    Synthesis from Probabilistic Components
    Authors: Lustig, Yoad ; Nain, Sumit ; Vardi, Moshe Y.

    Abstract | Document (524 KB) | BibTeX

    Synthesizing Reactive Programs
    Authors: Madhusudan, Parthasarathy

    Abstract | Document (519 KB) | BibTeX

    Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence
    Authors: Miner More, Sara ; Naumov, Pavel ; Sapp, Benjamin

    Abstract | Document (578 KB) | BibTeX

    Axiomatizing the Quote
    Authors: Polonsky, Andrew

    Abstract | Document (554 KB) | BibTeX

    Relative Completeness for Logics of Functional Programs
    Authors: Reus, Bernhard ; Streicher, Thomas

    Abstract | Document (506 KB) | BibTeX

    The Exact Hardness of Deciding Derivational and Runtime Complexity
    Authors: Schnabl, Andreas ; Simonsen, Jakob Grue

    Abstract | Document (643 KB) | BibTeX

    A Category Theoretic View of Nondeterministic Recursive Program Schemes
    Authors: Schwencke, Daniel

    Abstract | Document (541 KB) | BibTeX

    Step-Indexed Relational Reasoning for Countable Nondeterminism
    Authors: Schwinghammer, Jan ; Birkedal, Lars

    Abstract | Document (561 KB) | BibTeX

    Algebraic Characterization of the Alternation Hierarchy in FO^2[<] on Finite Words
    Authors: Straubing, Howard

    Abstract | Document (403 KB) | BibTeX

    Non-Commutative Infinitary Peano Arithmetic
    Authors: Tatsuta, Makoto ; Berardi, Stefano

    Abstract | Document (454 KB) | BibTeX

    Model Theory in Computer Science: My Own Recurrent Themes
    Authors: Makowsky, Johann A.

    Abstract | Document (425 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI