Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
1994
Craig interpolation property in modal logics with provability interpretations
-
Sidon T.
-
в сборнике Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 813, с. 329-340
-
редактор
Матиясевич Юрий Владимирович
-
-
1994
Referential data structures and labeled modal logic
-
Artëmov Sergei,
Krupski Vladimir
-
в сборнике Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 813, с. 23-33
DOI
-
редактор
Матиясевич Юрий Владимирович