details

attribute value name NTI_23 description NTI is a tool for proving termination and nontermination of term rewrite systems, as well as nontermination of logic programs owner Etienne Payet uploaded 2023-05-27 07:26:40.0 disk size 263.22 KB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link download