Certifying a Termination Criterion Based on Graphs, without Graphs
Abstract
This paper presents a extention of the matrix interpretation ordering for term rewriting system termination.
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01125530
Submitted on : Friday, March 6, 2015-11:12:38 AM
Last modification on : Friday, July 19, 2024-11:38:04 AM