| Lecture Notes in Computer Science |
|
|
|
|
|
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs Yury Savateeva, Daniyar Shamkanovb a National Research University Higher School of Economics, Moscow, Russia b Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia DOI: https://doi.org/10.1007/978-3-662-59533-6_34  Реферативные базы данных:  
Тип публикации: Статья Язык публикации: английский Образцы ссылок на эту страницу:
Citing articles on Google Scholar: Russian citations, English citations Related articles on Google Scholar: Russian articles, English articles |
|
||||||||||||||||||||||||||||||||||||||||
|
|
Обратная связь: |
 Пользовательское соглашение
|
Регистрация посетителей портала |
Логотипы |
|