|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Decidable fragments of calculi used in CatLog
Max. I. Kanovichab, Stepan G. Kuznetsovc, Stepan L. Kuznetsovbd, Andre Scedrove a University College London, London, UK
b Computer Science Department, HSE University, Moscow, Russia
c Mathematics Department, HSE University, Moscow, Russia
d Steklov Mathematical Institute of RAS, Moscow, Russia
e Department of Mathematics, University of Pennsylvania, Philadelphia, USA
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sci1
|
Статистика просмотров: |
Страница аннотации: | 56 |
|