On algorithmic solvability of the A-completeness problem for systems of boundedly determinate functions containing all one-place boundedly determinate S-functions

Autor: M. A. Podkolzina, V. A. Buevich
Rok vydání: 2012
Předmět:
Zdroj: Discrete Mathematics and Applications. 22
ISSN: 1569-3929
0924-9265
Databáze: OpenAIRE