Advertisement

Computer Science Logic

16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

  • Julian Bradfield

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Lectures

    1. Susumu Hayashi, Yohji Akama
      Pages 1-1
    2. Frank Neven
      Pages 2-26
    3. Damian Niwiński
      Pages 27-44
  3. Rewriting and Constructive Mathematics

    1. Klaus Aehlig, Felix Joachimski
      Pages 59-74
    2. Alexey V. Chernov, Dmitriy P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin
      Pages 74-88
    3. Douglas Bridges, Hajime Ishihara, Peter Schuster
      Pages 89-102
  4. Fixpoints and Recursion

  5. Linear and Resource Logics

    1. Harry G. Mairson, Xavier Rival
      Pages 151-166
    2. Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel
      Pages 167-182
    3. Didier Galmiche, Daniel Méry, David Pym
      Pages 183-199
  6. Semantics

    1. Pietro Cenciarelli
      Pages 200-215
    2. M. Andrew Moshier, Achim Jung
      Pages 216-232
  7. Temporal Logics and Games

    1. Jerzy Marcinkowski, Tomasz Truderung
      Pages 262-275
    2. Marcin Jurdziński, Orna Kupferman, Thomas A. Henzinger
      Pages 292-305
  8. Probability, Games and Fixpoints

    1. Danièle Beauquier, Alexander Rabinovich, Anatol Slissenko
      Pages 306-321
    2. Thierry Cachat, Jacques Duparc, Wolfgang Thomas
      Pages 322-336
    3. Stephan Kreutzer
      Pages 337-351
    4. Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
      Pages 352-366
  9. Complexity and Proof Complexity

    1. Matthias Baaz, Georg Moser
      Pages 382-397
    2. Régis Barbanchon, Etienne Grandjean
      Pages 397-411
    3. Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer
      Pages 412-426
  10. Ludics and Linear Logic

    1. Claudia Faggian
      Pages 427-441
    2. Claudia Faggian, Martin Hyland
      Pages 442-457
    3. Masahito Hasegawa
      Pages 458-472
  11. Lambda-Calculi

    1. Jean Goubault-Larrecq
      Pages 473-489
    2. Manfred Schmidt-Schauß, Klaus U. Schulz
      Pages 522-537
    3. Herman Geuvers, Gueorgui I. Jojgov
      Pages 537-552
    4. Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
      Pages 553-568
  12. Resolution and Proofs

  13. Back Matter
    Pages 613-613

About these proceedings

Introduction

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.

Keywords

AI Logic Computer Science Logic Formal Methods Higher-Order Logic Logical Calculi Logical Foundations Mathematical Logic Nonclassical Logics Program Logic Program Semantics Proof Theory Resolution complexity logic semantics

Editors and affiliations

  • Julian Bradfield
    • 1
  1. 1.Laboratory for Foundations of Computer Science Division of InformaticsUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45793-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44240-0
  • Online ISBN 978-3-540-45793-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site