Difference between revisions of "Bibtex:Kurth90"
From Termination-Portal.org
Jump to navigationJump to search (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...) |
|||
| Line 1: | Line 1: | ||
| − | [[Category:Bibtex]] | + | [[Category:Bibtex| ]] |
== BibTex == | == BibTex == | ||
<bibtex> | <bibtex> | ||
Latest revision as of 14:29, 30 March 2008
BibTex
Winfried Kurth - Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel
- Ph.D. Thesis, Technische Universität Clausthal ,1990
- BibtexAuthor : Winfried Kurth
Title : Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel
In : Ph.D. Thesis, Technische Universität Clausthal -
Address :
Date : 1990
