70 search results - page 2 / 14 » The Ackermann Award 2007 |
APAL
2006
13 years 6 months 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
13 years 7 months ago
2006
: Algorithmen und Datenstrukturen zeichnen sich durch eine hohe Dynamik aus, die gerade f
TLCA
2007
Springer
14 years 9 days 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...
ESE
2007
13 years 6 months ago
2007
TOG
2012
11 years 8 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...