|
Шилов, Н. В. Метод схем программ для пропозициональных программных логик за 30 лет [Текст] / Н. В. Шилов, С. О. Шилова, А. Ю. Бернштейн // Программирование. – 2016. – № 4. – С. 69-92.
Представлен обзор так называемого схемного метода доказательства разрешимости пропозициональных программных логик. Этот метод основан на сведении к вариантам проблемы относительной тотальности для недетерминированных схем Янова. |