E. Covino, G. Pani:
An Implicit Recursive Language for the Polynomial Time-space Complexity Classes
/jucs_8_1/an_implicit_recursive_language

page 75 - 84
Vol.8 / Issue 1

E. Covino, G. Pani, D. Scrimieri:
Compile-time Computation of Polytime Functions
/jucs_13_4/compile_time_computation_of

page 468 - 478
Vol.13 / Issue 4

S. Caporaso, G. Pani, E. Covino:
Incompleteness in Linear Time
/jucs_6_12/incompleteness_in_linear_time

page 1185 - 1196
Vol.6 / Issue 12