Computer Science Logic

15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

  • Laurent Fribourg
Conference proceedings CSL 2001

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

Table of contents

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

    1. Peter O’Hearn, John Reynolds, Hongseok Yang
      Pages 1-19
  3. Contributed Papers

  4. Descriptive Complexity

    1. Yijia Chen, Enshao Shen
      Pages 84-98
    2. Martin Grohe, Stefan Wöhrle
      Pages 99-114
    3. Jean-Yves Marion
      Pages 115-129
  5. Semantics

    1. John Power, Konstantinos Tourlas
      Pages 145-159
    2. Edmund Robinson, Giuseppe Rosolini
      Pages 173-187
    3. Vincent Danos, Russell Harmer
      Pages 188-202
  6. Higher-Order Programs

    1. Robert F. Stärk, Stanislas Nanchen
      Pages 217-231
    2. Jan van Eijck
      Pages 232-246
  7. Modal Logics

    1. Carsten Lutz, Ulrike Sattler, Frank Wolter
      Pages 247-261
    2. Frédéric Koriche
      Pages 262-276

About these proceedings

Keywords

Automat automata complexity lambda calculus logic semantics verification

Editors and affiliations

  • Laurent Fribourg
    • 1
  1. 1.LSV (Ecole Normale Supérieure de Cachan and CNRS)CachanFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44802-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42554-0
  • Online ISBN 978-3-540-44802-0
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace