Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy.

Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino

Browse the full CIAC paper archive.