Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
431373 | The Journal of Logic and Algebraic Programming | 2010 | 14 Pages |
Abstract
Various simplified or improved, and partly corrected well-known implicit characterizations of the complexity classes FPTIME and NC are presented. Primarily, the interest is in simplifying the required simulations of various recursion schemes in the corresponding (implicit) framework, and in developing those simulations in a more uniform way, based on a step-by-step comparison technique, thus consolidating groundwork in implicit computational complexity.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics