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 |
Externí odkaz: |