|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
The logic of action lattices is undecidableтезисы доклада
- Автор: Kuznetsov Stepan
- Сборник: Proc. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
- Тезисы
- Год издания: 2019
- Место издания: IEEE
- DOI: 10.1109/LICS.2019.8785659
- Аннотация: We prove algorithmic undecidability of the (in)equational theory of residuated Kleene lattices (action lattices), thus solving a problem left open by D. Kozen, P. Jipsen, W. Buszkowski.
- Добавил в систему: Кузнецов Степан Львович