| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Logical Perspectives 2021: Summer School and Workshop
|
|||
|
|
|||
|
Infinitary action logic with exponentiation S. L. Kuznetsov, S. O. Speranski |
|||
|
Language: English |
|||