Undecidability of the Lambek calculus with a relevant modalityстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 8 февраля 2017 г.
-
Авторы:
Kanovich Max,
Kuznetsov Stepan,
Scedrov Andre
-
Сборник:
Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
-
Серия:
Lecture Notes in Computer Science
-
Том:
9804
-
Год издания:
2016
-
Место издания:
Springer
-
Первая страница:
240
-
Последняя страница:
256
-
DOI:
10.1007/978-3-662-53042-9_14
-
Добавил в систему:
Кузнецов Степан Львович