Recursion schemes for dynamic programming
Kabanov, Jevgeni
;
Vene, Varmo
Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedings
2006
/
p. 235-252