|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthdayсборник
- Год издания: 2014
- Серия: Lecture Notes in Computer Science
- Том: 8222
- Место издания: Springer Berlin, Heidelberg
- Добавил в систему: Кузнецов Степан Львович
Статьи, опубликованные в сборнике
-
- 2014 L-completeness of the Lambek calculus with the reversal operation allowing empty antecedents
- Kuznetsov S.L.
- в сборнике Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, серия Lecture Notes in Computer Science, место издания Springer Berlin, Heidelberg, том 8222, с. 268-278 DOI