Теория алгоритмов и программ. Выпуск 3
Autor
Латвийский государственный университет. Вычислительный центр
Datum
1977Metadata
Zur LanganzeigeZusammenfassung
Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости.