Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021 - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021сборник

Год издания: 2021
Серия: Lecture Notes in Computer Science
Том: 12842
Издательство: Springer International Publishing AG
Местоположение издательства: Cham, Switzerland
Добавил в систему: Кузнецов Степан Львович

Статьи, опубликованные в сборнике

- 2021 Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs
- Kuznetsov Stepan L.
- в сборнике Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 12842, с. 317-334 DOI