Polygraphic programs and polynomial-time functions (2007)

by G BONFANTE, Y GUIRAUD
Venue:in "Logical Methods in Computer Science (LMCS