Bibtex:Kurth90

From Termination-Portal.org
Revision as of 14:29, 30 March 2008 by Admin (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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