Orderings for term-rewriting systems
Orderings for term-rewriting systems
Nachum Dershowitz
Details
OL Work ID
OL24973155W
Subjects
Computer programs
Recursive functions
Find this book
Open Library