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

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-63045-7
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology