(1986) Латвийский государственный университет. Вычислительный центр; Барздинь, Я.М.
Сборник посвящен исследованию различных типов вычислительных
устройств, таких как альтернирующие вероятностные
машины, а также проблемам индуктивного синтеза программ.
(Латвийский государственный университет, 1977) Латвийский государственный университет. Вычислительный центр; Барздинь, Я.М.
Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости.