Skip to main content
SpringerLink
Log in

Computer Science Logic

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Jacques Duparc
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas A. Henzinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: CSL 2007.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

Table of contents (43 papers)

  1. Lambda Calculus 1

    1. The Theory of Calculi with Explicit Substitutions Revisited

      • Delia Kesner
      Pages 238-252

    2. A Soft Type Assignment System for λ-Calculus

      • Marco Gaboardi, Simona Ronchi Della Rocca
      Pages 253-267

    3. Lambda Theories of Effective Lambda Models

      • Chantal Berline, Giulio Manzonetto, Antonino Salibra
      Pages 268-282

    4. Typed Normal Form Bisimulation

      • Soren B. Lassen, Paul Blain Levy
      Pages 283-297

  2. Lambda Calculus 2

    1. Not Enough Points Is Enough

      • Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
      Pages 298-312

    2. Classical Program Extraction in the Calculus of Constructions

      • Alexandre Miquel
      Pages 313-327

    3. Building Decision Procedures in the Calculus of Inductive Constructions

      • Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
      Pages 328-342

  3. Finite Model Theory

    1. Structure Theorem and Strict Alternation Hierarchy for FO2 on Words

      • P. Weis, N. Immerman
      Pages 343-357

    2. On the Complexity of Reasoning About Dynamic Policies

      • Stefan Göller
      Pages 358-373

    3. Relativizing Small Complexity Classes and Their Theories

      • Klaus Aehlig, Stephen Cook, Phuong Nguyen
      Pages 374-388

    4. Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping

      • Yijia Chen, Jörg Flum
      Pages 389-404

  4. Linear Logic

    1. From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic

      • Dale Miller, Alexis Saurin
      Pages 405-419

    2. Linear Realizability

      • Naohiko Hoshino
      Pages 420-434

    3. Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete

      • Paulin Jacobé de Naurois, Virgile Mogbil
      Pages 435-450

    4. Focusing and Polarization in Intuitionistic Logic

      • Chuck Liang, Dale Miller
      Pages 451-465

  5. Proof Theory

    1. Incorporating Tables into Proofs

      • Dale Miller, Vivek Nigam
      Pages 466-480

    2. A Cut-Free and Invariant-Free Sequent Calculus for PLTL

      • Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
      Pages 481-495

    3. Unbounded Proof-Length Speed-Up in Deduction Modulo

      • Guillaume Burel
      Pages 496-511

    4. Propositional Logic for Circuit Classes

      • Klaus Aehlig, Arnold Beckmann
      Pages 512-526

    5. Game Characterizations and the PSPACE-Completeness of Tree Resolution Space

      • Alexander Hertel, Alasdair Urquhart
      Pages 527-541
Back to top

Other volumes

  1. Computer Science Logic

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation