Table of contents

  1. Front Matter
  2. Samson Abramsky, Guy McCusker
    Pages 1-17
  3. Abdelwaheb Ayari, David Basin, Andreas Podelski
    Pages 18-34
  4. Rolf Backofen, Peter Clote
    Pages 35-55
  5. Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
    Pages 56-77
  6. Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin
    Pages 78-97
  7. P. A. Bonatti, N. Olivetti
    Pages 98-114
  8. Maria Luisa Bonet, Nicola Galesi
    Pages 115-128
  9. Torben Braüner, Valeria de Paiva
    Pages 129-148
  10. Sam Buss, Toniann Pitassi
    Pages 149-156
  11. Hubert Comon, Yan Jurski
    Pages 157-176
  12. Thierry Coquand, Henrik Persson
    Pages 177-188
  13. Arnaud Durand, Ronald Fagin, Bernd Loescher
    Pages 189-202
  14. Claudia Faggian
    Pages 203-219
  15. Martin Grohe
    Pages 220-238
  16. Reinhold Heckmann, Michael Huth
    Pages 255-274
  17. Marco Hollenberg
    Pages 295-310

About these proceedings

Introduction

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.
The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Keywords

Automat Racter Resolution automata complexity computer evolution lambda calculus logic pigeonhole principle programming semantics simulation

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0028003
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64570-2
  • Online ISBN 978-3-540-69353-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace