An Implicit Recursive Language for the Polynomial Time-space Complexity Classes.

Emanuele Covino Giovanni Pani An Implicit Recursive Language for the Polynomial Time-space Complexity Classes. 75-84 2002 8 J. UCS 1 http://www.jucs.org/jucs_8_1/an_implicit_recursive_language db/journals/jucs/jucs8.html#CovinoP02