Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy

Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino. Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy. In Gian Carlo Bongiovanni, Daniel P. Bovet, Giuseppe Di Battista, editors, Algorithms and Complexity, Third Italian Conference, CIAC 97, Rome, Italy, March 12-14, 1997, Proceedings. Volume 1203 of Lecture Notes in Computer Science, pages 61-73, Springer, 1997.

Abstract

Abstract is missing.