|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedingsсборник
- Член редколлегии: Артемов С.Н.
- Год издания: 2016
- Серия: Lecture Notes in Computer Science
- Том: 9537
- Место издания: Springer
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2016 On Lambek's restriction in the presence of exponential modalities
- Kanovich Max, Kuznetsov Stepan, Scedrov Andre
- в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9537, с. 146-158 DOI
- редактор Артемов Сергей Николаевич
-
- 2016 On aggregating probabilistic evidence
- Artemov Sergei
- в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9537, с. 27-42 DOI
- редактор Артемов Сергей Николаевич
-
- 2016 Sequent Calculus for Intuitionistic Epistemic Logic IEL
- Krupski Vladimir N., Alexey Yatmanov
- в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9537, с. 187-201 DOI
- редактор Артемов Сергей Николаевич
-
- 2015 Ogden Property for Linear Displacement Context-Free Grammars
- Sorokin Alexey
- в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9537, с. 376-391 DOI
- редактор Артемов Сергей Николаевич