Sciweavers

84 search results - page 4 / 17
» corr 2009
Sort
View
51
Voted
CORR
2009
Springer
88views Education» more  CORR 2009»
14 years 7 months ago
An Inverse Method for Policy-Iteration Based Algorithms
Laurent Fribourg, Étienne André
CORR
2009
Springer
86views Education» more  CORR 2009»
14 years 7 months ago
Stream Productivity by Outermost Termination
Hans Zantema, Matthias Raffelsieper
CORR
2009
Springer
69views Education» more  CORR 2009»
14 years 7 months ago
Extending Context-Sensitivity in Term Rewriting
Bernhard Gramlich, Felix Schernhammer