NTI
Résumé
NTI (Non-Termination Inference) is a non-termination prover for term-rewriting systems and logic programs.
Etienne Payet : Connectez-vous pour contacter le contributeur
https://hal.univ-reunion.fr/hal-04502899
Soumis le : mercredi 13 mars 2024-14:12:21
Dernière modification le : lundi 29 avril 2024-11:28:04