Sciweavers

84
Voted
ENTCS
2008
75views more  ENTCS 2008»
15 years 2 months ago
Intensional Properties of Polygraphs
Abstract
Guillaume Bonfante, Yves Guiraud
107
Voted
TLCA
2007
Springer
15 years 8 months ago
Predicative Analysis of Feasibility and Diagonalization
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...
Jean-Yves Marion