Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem
1977 ◽
Keyword(s):
1992 ◽
Vol 139
(2)
◽
pp. 172
◽
2012 ◽
Vol E95-B
(2)
◽
pp. 551-562
◽
Keyword(s):