Об алгоритмической разрешимости задачи об $A$-полноте для систем ограниченно-детерминированных функций, содержащих все одноместные $S$-о.-д. функции

Autor: M A Podkolzina, V A Buevich
Rok vydání: 2012
Předmět:
Zdroj: Diskretnaya Matematika. 24:56-69
ISSN: 2305-3143
0234-0860
DOI: 10.4213/dm1210
Databáze: OpenAIRE