Termination of Term Rewriting By Semantic Labelling (1995)

View PDF

Download Links

by H. Zantema
Venue:FUNDAMENTA INFORMATICAE
Citations:97 - 15 self