| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
|
|||
|
|
|||
|
Kleene star in substructural logics Stepan Kuznetsov Steklov Mathematical Institute of Russian Academy of Sciences, Moscow |
|||
|
Language: English |
|||