Termination of rewriting
Termination of rewriting
1985
Nachum Dershowitz
Details
First published
1985
OL Work ID
OL3347483W
Subjects
Rewriting systems (Computer science)
Ordered sets
Automatic theorem proving
Find this book
Open Library