André Frochaux. Static analysis of monadic datalog on finite labeled trees. PhD thesis, Humboldt University of Berlin, Unter den Linden, Germany, 2017. [doi]
@phdthesis{dnb-17666,
title = {Static analysis of monadic datalog on finite labeled trees},
author = {André Frochaux},
year = {2017},
url = {http://d-nb.info/1127628283},
researchr = {https://researchr.org/publication/dnb-17666},
cites = {0},
citedby = {0},
school = {Humboldt University of Berlin, Unter den Linden, Germany},
}