Pawel Parys. Recursion Schemes and the WMSO+U Logic. In Rolf Niedermeier, Brigitte Vallée, editors, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France. Volume 96 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{Parys18,
title = {Recursion Schemes and the WMSO+U Logic},
author = {Pawel Parys},
year = {2018},
doi = {10.4230/LIPIcs.STACS.2018.53},
url = {http://dx.doi.org/10.4230/LIPIcs.STACS.2018.53},
researchr = {https://researchr.org/publication/Parys18},
cites = {0},
citedby = {0},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France},
editor = {Rolf Niedermeier and Brigitte Vallée},
volume = {96},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-062-0},
}