Программные алгебры рекурсивных функций

В. Д. Соловьев


УДК: 519.716

MSC: 03D20, 03D75, 08A30

Поступила в редакцию: 02.11.1994

DOI: 10.4213/rm996

 Англоязычная версия: Russian Mathematical Surveys, 1996, 51:4, 705–722

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

• 
• 
• 
• 
•