The size-change principle and dependency pairs for...

Applicable Algebra in Engineering, Communication and Computing 2005 / 09 Vol. 16; Iss. 4

The size-change principle and dependency pairs for termination of term rewriting

René Thiemann, Jürgen Giesl
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
16
Language:
english
Pages:
42
Journal:
Applicable Algebra in Engineering, Communication and Computing
DOI:
10.1007/s00200-005-0179-7
Date:
September, 2005
File:
PDF, 406 KB
english, 2005
Conversion to is in progress
Conversion to is failed