Advertisement

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
    3. A. Dawar, E. Grädel, S. Kreutzer
      Pages 277-291
    4. Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
      Pages 292-307
  8. Verification

    1. Thomas Marthedal Rasmussen
      Pages 308-323
    2. Frank S. de Boer, Rogier M. van Eijk
      Pages 324-338
    3. Witold Charatonik, Jean-Marc Talbot
      Pages 339-354
  9. Automata

  10. Lambda-Calculus

    1. Simona Ronchi Della Rocca, Luca Roversi
      Pages 414-429
    2. Lutz Schröder
      Pages 429-442
    3. Samson Abramsky, Marina Lenisa
      Pages 443-457
  11. Induction

    1. Keye Martin
      Pages 458-468
    2. Matthias Baaz, Georg Moser
      Pages 469-483
    3. Jean Goubault-Larrecq
      Pages 484-498
  12. Equational Calculus

    1. Manfred Schmidt-Schauß
      Pages 498-513
    2. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
      Pages 513-527
    3. Grigore Roşu
      Pages 528-538
  13. Constructive Theory of Types

    1. Pierre Courtieu
      Pages 554-569
    2. Alexei Kopylov, Aleksey Nogin
      Pages 570-584
    3. Carsten Schürmann
      Pages 585-599
  14. Back Matter
    Pages 615-615

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering