Отправить статью по E-mail Program schemata technique for propositional program logics: A 30-year history
- Авторы: Shilov N.V.1, Shilova S.O.1, Bernshtein A.Y.2
-
Учреждения:
- Ershov Institute of Informatics Systems
- Novosibirsk State University
- Выпуск: Том 42, № 4 (2016)
- Страницы: 239-256
- Раздел: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176443
- DOI: https://doi.org/10.1134/S036176881604006X
- ID: 176443
Цитировать
Открытый доступ
Доступ предоставлен
Только для подписчиков
Аннотация
A survey is presented of the so-called program schemata technique for proving the decidability of propositional program logics. This method is based on the reduction to versions of the problem of relative totality for nondeterministic Yanov schemata.
Об авторах
N. Shilov
Ershov Institute of Informatics Systems
Автор, ответственный за переписку.
Email: shilov@iis.nsk.su
Россия, pr. Akademika Lavrent’eva 6, Novosibirsk
S. Shilova
Ershov Institute of Informatics Systems
Email: shilov@iis.nsk.su
Россия, pr. Akademika Lavrent’eva 6, Novosibirsk
A. Bernshtein
Novosibirsk State University
Email: shilov@iis.nsk.su
Россия, ul. Pirogova 2, Novosibirsk
Дополнительные файлы
