Total termination of term rewriting
M. C. F. Ferreira, H. ZantemaVolume:
7
Year:
1996
Language:
english
Pages:
30
Journal:
Applicable Algebra in Engineering, Communication and Computing
DOI:
10.1007/bf01191381
File:
PDF, 1.72 MB
english, 1996