Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem

Author(s):  
Bernhard Bliem ◽  
Reinhard Pichler ◽  
Stefan Woltran
Sign in / Sign up

Export Citation Format

Share Document