Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedingsсборник

Член редколлегии: Матиясевич Ю.В.
Год издания: 1994
Серия: Lecture Notes in Computer Science
Том: 813
Место издания: Springer
Добавил в систему: Золин Евгений Евгеньевич

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

- 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
- редактор Матиясевич Юрий Владимирович