A new recursion-theoretic characterization of the polytime functions 论文

1992Computational Complexity引用 397
semigroups and automata theoryAdvanced Algebra and LogicComplexity and Algorithms in Graphs