Skip to main content
SpringerLink
Log in

Computer Science Logic

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Anuj Dawar

    1. Computer Laboratory, University of Cambridge, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Helmut Veith

    1. Formal Methods in Systems Engineering, Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6247)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CSL 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries

      • David Basin, Cas Cremers
      Pages 1-18

    2. Definability in Games

      • Erich Grädel
      Pages 19-21

    3. From Feasible Proofs to Feasible Computations

      • Jan Krajíček
      Pages 22-31

    4. Tree Dualities for Constraint Satisfaction

      • Andrei Krokhin
      Pages 32-33

    5. Ordered Sets in the Calculus of Data Structures

      • Viktor Kuncak, Ruzica Piskac, Philippe Suter
      Pages 34-48

    6. Abductive, Inductive and Deductive Reasoning about Resources

      • Peter W. O’Hearn
      Pages 49-50

    7. Constraint Solving for Program Verification: Theory and Practice by Example

      • Andrey Rybalchenko
      Pages 51-51

  3. Contributed Papers

    1. Tableau Calculi for \(\mathcal{CSL}\) over minspaces

      • Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
      Pages 52-66

    2. A Resolution Mechanism for Prenex Gödel Logic

      • Matthias Baaz, Christian G. Fermüller
      Pages 67-79

    3. Efficient Enumeration for Conjunctive Queries over X-underbar Structures

      • Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin
      Pages 80-94

    4. A Formalisation of the Normal Forms of Context-Free Grammars in HOL4

      • Aditi Barthwal, Michael Norrish
      Pages 95-109

    5. Automata vs. Logics on Data Words

      • Michael Benedikt, Clemens Ley, Gabriele Puppis
      Pages 110-124

    6. Graded Computation Tree Logic with Binary Coding

      • Alessandro Bianco, Fabio Mogavero, Aniello Murano
      Pages 125-139

    7. Exact Exploration and Hanging Algorithms

      • Andreas Blass, Nachum Dershowitz, Yuri Gurevich
      Pages 140-154

    8. Embedding Deduction Modulo into a Prover

      • Guillaume Burel
      Pages 155-169

    9. Exponentials with Infinite Multiplicities

      • Alberto Carraro, Thomas Ehrhard, Antonino Salibra
      Pages 170-184

    10. Classical and Intuitionistic Subexponential Logics Are Equally Expressive

      • Kaustuv Chaudhuri
      Pages 185-199

    11. On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT

      • Yijia Chen, Jörg Flum
      Pages 200-214

    12. A Logic of Sequentiality

      • Martin Churchill, James Laird
      Pages 215-229
Back to top

Other volumes

  1. Computer Science Logic

Editors and Affiliations

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    Anuj Dawar

  • Formal Methods in Systems Engineering, Vienna University of Technology, Vienna, Austria

    Helmut Veith

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation