Computer Science Logic

19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

  • Luke Ong
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3634)

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Semantics and Logics

    1. Matthew Collinson, David Pym, Edmund Robinson
      Pages 36-50
    2. Tom Murphy VII, Karl Crary, Robert Harper
      Pages 51-69
    3. Jiri Adámek
      Pages 70-86
  4. Type Theory and Lambda Calculus

    1. Paula Severi, Fer-Jan de Vries
      Pages 103-118
    2. Colin Stirling
      Pages 119-134
  5. Linear Logic and Ludics

    1. Pierre-Louis Curien, Claudia Faggian
      Pages 167-183
    2. Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
      Pages 184-199
    3. Kaustuv Chaudhuri, Frank Pfenning
      Pages 200-215
    4. Esfandiar Haghverdi, Philip J. Scott
      Pages 216-231
  6. Constraints

  7. Finite Models, Decidability and Complexity

    1. Marcin Mostowski, Konrad Zdanowski
      Pages 263-275

About these proceedings

Keywords

Constraint ai logics classical logic complexity computational logic finite models higher order logic lambda calculus linear logic logic logic programming nonclassical logic semantics verifi verification

Editors and affiliations

  • Luke Ong
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/11538363
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28231-0
  • Online ISBN 978-3-540-31897-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349