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