@InProceedings{jaffke_et_al:LIPIcs.IPEC.2015.175, author = {Jaffke, Lars and Bodlaender, Hans L.}, title = {{Definability Equals Recognizability for k-Outerplanar Graphs}}, booktitle = {10th International Symposium on Parameterized and Exact Computation (IPEC 2015)}, pages = {175--186}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-92-7}, ISSN = {1868-8969}, year = {2015}, volume = {43}, editor = {Husfeldt, Thore and Kanj, Iyad}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2015.175}, URN = {urn:nbn:de:0030-drops-55815}, doi = {10.4230/LIPIcs.IPEC.2015.175}, annote = {Keywords: treewidth, monadic second order logic of graphs, finite state tree automata, \$k\$-outerplanar graphs} }