NTI
Abstract
NTI (Non-Termination Inference) is a non-termination prover for term-rewriting systems and logic programs.
Etienne Payet : Connect in order to contact the contributor
https://hal.univ-reunion.fr/hal-04502899
Submitted on : Wednesday, March 13, 2024-2:12:21 PM
Last modification on : Monday, April 29, 2024-11:28:04 AM