Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedingsсборник

Статьи, опубликованные в сборнике

---

• • 1997 Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic
  • Pentus Mati
  • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 306-311 DOI
  • редактор Адян Сергей Иванович
• • 1997 On the verification of PLTL formulae by means of monotone disjunctive normal forms
  • Zakharov V.A.
  • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 419-429
  • редактор Адян Сергей Иванович
• • 1997 Operational Logic of Proofs with Functionality Condition on Proof Predicate
  • Krupski Vladimir
  • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 167-177 DOI
  • редактор Адян Сергей Иванович
• • 1997 Provability logic with operations on proofs
  • Sidon T.
  • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 342-353 DOI
  • редактор Адян Сергей Иванович
• • 1997 The concurrency complexity for the Horn fragment of linear logic
  • Dudakov Sergey M.
  • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 78-87 DOI
  • редактор Адян Сергей Иванович
• • 1997 The undecidability of second order linear affine logic
  • Kopylov Alexei P.
  • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 156-166 DOI
  • редактор Адян Сергей Иванович
• • 1997 Topological semantics for hybrid systems
  • Artemov Sergei, Davoren Jennifer, Nerode Anil
  • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 1-8 DOI
  • редактор Адян Сергей Иванович