Loop detection in term rewriting using the eliminating unfoldings
Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Etienne Payet : Connect in order to contact the contributor
https://hal.univ-reunion.fr/hal-04502927
Submitted on : Wednesday, March 13, 2024-2:21:02 PM
Last modification on : Tuesday, September 3, 2024-1:56:20 PM
Long-term archiving on : Friday, June 14, 2024-7:19:03 PM