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
Bibtex
Author : 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