Complexity of term rewriting
Ke Li
Details
OL Work ID
OL10165330W
Find this book
Open Library