NTI - Université de La Réunion Access content directly
Software Year : 2007

NTI

Abstract

NTI (Non-Termination Inference) is a non-termination prover for term-rewriting systems and logic programs.
19 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More