On complexity of problem of satisfiability for systems of countable-valued functional equationsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 марта 2016 г.
Аннотация:We consider the problem of satisfiability for systems of countable-valued functional equations, containing ternary discriminator function p. We prove that this problem is m-complete in the class II1of Kleene–Mostowski hierarchy.