МАТЕМАТИКА

О завершимости поиска инвариантных равенств в программах

А. А. Летичевский

Институт кибернетики АН УССР, г. Киев

УДК: 519.71+519.68

Статья представлена к публикации: В. С. Михалевич
Поступило: 31.10.1986

 Англоязычная версия: Doklady Mathematics, 1988, 37:2, 559–561

Реферативные базы данных:

• 
•