Article ID Journal Published Year Pages File Type
431373 The Journal of Logic and Algebraic Programming 2010 14 Pages PDF
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