Implementing Courcelle's Theorem in a declarative framework for dynamic programming

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

Export Citation Format

Share Document