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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking