Abschlusseigenschaften für Graph-Sprachen mit Anwendungen auf ...

Reference

Sebastian Küpper. Abschlusseigenschaften für graph-sprachen mit anwendungen auf terminierungsanalyse. Master's thesis, Universität Duisburg-Essen, 2012.

Abstract

In this thesis closure properties for recognizable graph languages are investigated.

Suggested BibTeX entry:

@mastersthesis{kuepper:mastersthesis2012,
    author = {Sebastian K{\"u}pper},
    school = {Universit{\"a}t Duisburg-Essen},
    title = {Abschlusseigenschaften f{\"u}r Graph-Sprachen mit Anwendungen auf Terminierungsanalyse},
    year = {2012}
}



PDF (678 kB)
© University of Duisburg-Essen, Theoretical Computer Science group