Вернуться к Подробностям о статье
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
Скачать
Скачать PDF