|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
An axiomatization of iteration-free PDL with loopтезисы доклада
- Авторы: Balbiani P., Rybakov M.
- Сборник: XII Tbilisi Symposium of Language, Logic and Computation. Lagodekhi, Georgia, 18–22 September, 2017
- Тезисы
- Год издания: 2017
- Первая страница: 49
- Последняя страница: 53
- Добавил в систему: Рыбаков Михаил Николаевич