RUS  ENG
Полная версия
ЖУРНАЛЫ // Lecture Notes in Computer Science // Архив

Lecture Notes in Comput. Sci., 2017, том 10388, страницы 182–198 (Mi lncs16)

Эта публикация цитируется в 6 статьях

The Lambek calculus with iteration: two variants

Stepan Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia

Язык публикации: английский

DOI: 10.1007/978-3-662-55386-2_13



Реферативные базы данных:


© МИАН, 2025