70 search results - page 2 / 14 » The Ackermann Award 2007 |
82
Voted
APAL
2006
15 years 26 days ago
2006
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive ...
DELFI
2006
15 years 2 months ago
2006
: Algorithmen und Datenstrukturen zeichnen sich durch eine hohe Dynamik aus, die gerade f
96
Voted
TLCA
2007
Springer
15 years 7 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...
72
Voted
ESE
2007
15 years 23 days ago
2007
108
Voted
TOG
2012
13 years 3 months ago
2012
Algebra I, II Complex Variables I, II Analysis I, II Awards, Scholarships, Fellowships Received • Back Cover Image, Proceedings of ACM SIGGRAPH, 2011 • New York University Henr...