ENTCS
2008
13 years 4 months ago
2008
Abstract
TLCA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...