Bibtex:Kurth90
From Termination-Portal.org
Jump to navigationJump to searchBibTex
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
