|
Advances in Modal Logic, 2020, том 13, страницы 425–449
(Mi aiml8)
|
|
|
|
The ‘long rule’ in the Lambek calculus with iteration: undecidability without meets and joins
Stepan Kuznetsov Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/aiml8
|
Статистика просмотров: |
Страница аннотации: | 68 |
|