|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Reasoning in commutative Kleene algebras from *-free hypotheses, Logica Yearbook 2021, College Publications, London, 2022, 99–113статья
- Автор: Kuznetsov Stepan L.
- Сборник: The Logica Yearbook 2021
- Серия: The Logica Yearbook
- Год издания: 2022
- Место издания: College Publications London
- Первая страница: 99
- Последняя страница: 113
- Аннотация: We prove that reasoning from *-free hypotheses in commutative *-continuous Kleene algebras in \Pi^0_2-complete, thus providing a commutative counterpart to a result by Kozen (2002).
- Добавил в систему: Кузнецов Степан Львович