Sciweavers

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