Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
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
-
редактор
Артемов Сергей Николаевич