%0 Journal Article %1 journals/logcom/BliemPW17 %A Bliem, Bernhard %A Pichler, Reinhard %A Woltran, Stefan %D 2017 %J J. Log. Comput. %K dblp %N 4 %P 1067-1094 %T Implementing Courcelle's Theorem in a declarative framework for dynamic programming. %U http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#BliemPW17 %V 27

@article{journals/logcom/BliemPW17, added-at = {2017-09-14T00:00:00.000+0200}, author = {Bliem, Bernhard and Pichler, Reinhard and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2474ee9c811bff2325e841fc08fbe6714/dblp}, ee = {https://doi.org/10.1093/logcom/exv089}, interhash = {f9cbbeb3ae41f1a13be0d5882108cc85}, intrahash = {474ee9c811bff2325e841fc08fbe6714}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {1067-1094}, timestamp = {2017-12-07T16:09:56.000+0100}, title = {Implementing Courcelle's Theorem in a declarative framework for dynamic programming.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom27.html#BliemPW17}, volume = 27, year = 2017 }