|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
Stepan L. Kuznetsov Steklov Mathematical Institute of RAS, Moscow, Russia
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/lncs45
|
Статистика просмотров: |
Страница аннотации: | 67 |
|