Termination proofs and derivation lengths in term rewriting systems
Termination proofs and derivation lengths in term rewriting systems
Dieter Hofbauer
Details
OL Work ID
OL35472053W
Find this book
Open Library