Revision as of 13:28, 30 March 2008 by Andreas.gebhardt(talk | contribs)(New page: Category:Bibtex == BibTex == <bibtex> @phdthesis{kurth90, author = {Winfried Kurth}, title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel}, school = {T...)
author = {Winfried Kurth},
title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel},
school = {Technische Universität Clausthal}
year = {1990}