Jump to content

Bibtex:Oppelt08

From Termination-Portal.org

BibTex

<bibtex> @mastersthesis{Oppelt08, author="Martin Oppelt", title="Automatische Erkennung von Ableitungsmustern in nichtterminierenden Wortersetzungssystemen", school="HTWK Leipzig", year="2008", address="Germany", month="July", type="Diplomarbeit", note="\url{http://dfa.imn.htwk-leipzig.de/nonloop/DA_MARTIN_OPPELT/}" } </bibtex>