Termination und Konfluenz von Semi-Thue-Systemen mit nur einer Regel

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]

No reviews for this publication, yet.