|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofsстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 22 декабря 2021 г.
- Автор: Kuznetsov Stepan L.
- Сборник: Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021
- Серия: Lecture Notes in Computer Science
- Том: 12842
- Год издания: 2021
- Издательство: Springer International Publishing AG
- Местоположение издательства: Cham, Switzerland
- Первая страница: 317
- Последняя страница: 334
- DOI: 10.1007/978-3-030-86059-2_19
- Добавил в систему: Кузнецов Степан Львович