Winfried Kurth. Termination und Konfluenz von Semi-Thue-Systemen mit nur einer Regel. PhD thesis, Clausthal University of Technology, Clausthal-Zellerfeld, Lower Saxony, Germany, 1990. [doi]
@phdthesis{dnb-11304,
title = {Termination und Konfluenz von Semi-Thue-Systemen mit nur einer Regel},
author = {Winfried Kurth},
year = {1990},
url = {http://d-nb.info/910099103},
researchr = {https://researchr.org/publication/dnb-11304},
cites = {0},
citedby = {0},
school = {Clausthal University of Technology, Clausthal-Zellerfeld, Lower Saxony, Germany},
}