Мақаланы 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
Қосымша файлдар
