Termination proofs and derivation lengths in term rewriting systems
By: Dieter Hofbauer
Contributors: Technische Universität Berlin
Edition: Mikrofiche-Ausg.
Published: 1991
Language: eng
Notes: Summary in German.

Thesis (doctoral)--Technische Universität Berlin, 1991.