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
  18. Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis
    Pages 327-340
  19. John Power
    Pages 389-405
  20. Paul Ruet, François Fages
    Pages 406-423
  21. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences