%0 Journal Article %1 journals/japll/CourcelleD12 %A Courcelle, Bruno %A Durand, Irène %D 2012 %J J. Appl. Log. %K dblp %N 4 %P 368-409 %T Automata for the verification of monadic second-order graph properties. %U http://dblp.uni-trier.de/db/journals/japll/japll10.html#CourcelleD12 %V 10

@article{journals/japll/CourcelleD12, added-at = {2021-02-16T00:00:00.000+0100}, author = {Courcelle, Bruno and Durand, Irène}, biburl = {https://www.bibsonomy.org/bibtex/2f6eaf99d74c40fbeedf0bd7510761753/dblp}, ee = {https://doi.org/10.1016/j.jal.2011.07.001}, interhash = {2d0fb88f74d1a462c143ca6004587330}, intrahash = {f6eaf99d74c40fbeedf0bd7510761753}, journal = {J. Appl. Log.}, keywords = {dblp}, number = 4, pages = {368-409}, timestamp = {2024-04-09T02:13:51.000+0200}, title = {Automata for the verification of monadic second-order graph properties.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll10.html#CourcelleD12}, volume = 10, year = 2012 }