Sciweavers

ENTCS
2008
75views more  ENTCS 2008»
13 years 7 months ago
Intensional Properties of Polygraphs
Abstract
Guillaume Bonfante, Yves Guiraud
TLCA
2007
Springer
14 years 1 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