Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Dateiinhalt

@phdthesis{Fro16,
author = {Andr{\'e} Frochaux},
title = {Static {A}nalysis of {M}onadic {D}atalog on {F}inite {L}abeled {T}rees},
year = {2017},
publisher = {Mathematisch-Naturwissenschaftliche Fakultät},
School = {Humboldt-Universit\"at zu Berlin},
URL = { \url{http://edoc.hu-berlin.de/docviews/abstract.php?id=43300} },
url = { \url{urn:nbn:de:kobv:11-100244672} }
}