Table of contents

  1. Front Matter
  2. Sergei Artemov, Jennifer Davoren, Anil Nerode
    Pages 1-8
  3. Gilles Barthe, Morten Heine SØrensen
    Pages 9-20
  4. Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin
    Pages 21-32
  5. Michael A. Bukatin, Joshua S. Scott
    Pages 33-43
  6. Evgeny Dantsin, Andrei Voronkov
    Pages 56-66
  7. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    Pages 67-77
  8. Rüsiņš Freivalds, Gints Tervits, Rolf Wiehagen, Carl Smith
    Pages 102-112
  9. Mikhail Golovanov
    Pages 119-129
  10. David Harel
    Pages 141-144
  11. G. S. Makanin, H. Abdulrab, P. Goralcik
    Pages 189-202
  12. V. W. Marek, A. Nerode, J. B. Remmel
    Pages 214-225
  13. Jean-Yves Marion
    Pages 237-247
  14. Yuri Matiyasevich
    Pages 248-257
  15. Alexey Mkrtychev
    Pages 266-275
  16. Hitoshi Ohsaki, Aart Middeldorp
    Pages 283-293
  17. Martin Otto
    Pages 294-305
  18. Igor Rents, Nikolaj Shilov
    Pages 323-332
  19. Vladimir V. Rybakov
    Pages 333-341
  20. Tatiana Sidon
    Pages 342-353
  21. Igor L. Tandetnik
    Pages 369-373
  22. Rostislav E. Yavorsky
    Pages 410-418
  23. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997.
The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community.


Bisimulation Cut-elimination theorem Endliche Modelltheorie Ersetzungssysteme Informatik-Logik Nichtklassische Logiken Variable calculus complexity finite model theory logic proof rewriting systems sets verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63045-6
  • Online ISBN 978-3-540-69065-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site