NTI - Université de La Réunion

Documentation
French (FR)

English (EN)

Software Year : 2007

NTI

(1)

1

Etienne Payet

Function : Author
PersonId : 1243814
IdHAL : etienne-payet
ORCID : 0000-0002-3519-025X

Laboratoire d'Informatique et de Mathématiques

Abstract

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

Keywords

Non-Termination Term Rewriting Logic Programming

Domains

Logic in Computer Science [cs.LO]

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

Dates and versions

hal-04502899 , version 1 (13-03-2024)

Identifiers

HAL Id : hal-04502899 , version 1
SWHID : swh:1:dir:63c2cff6fc4ab7290e6c0a8f2df0d55866a19058;origin=https://github.com/etiennepayet/nti;visit=swh:1:snp:5aab866de1514a8b547d8952a3d442fdc55ea561;anchor=swh:1:rev:767e92897372d5f32fca586ec9ea61907bb7e635

version :
Software License : https://spdx.org/licenses/LGPL-3.0+
Programming Language : Java 8
Code Repository : https://github.com/etiennepayet/nti

Cite

Etienne Payet. NTI. 2007, ⟨swh:1:dir:63c2cff6fc4ab7290e6c0a8f2df0d55866a19058;origin=https://github.com/etiennepayet/nti;visit=swh:1:snp:5aab866de1514a8b547d8952a3d442fdc55ea561;anchor=swh:1:rev:767e92897372d5f32fca586ec9ea61907bb7e635⟩. ⟨hal-04502899⟩

Export

format_codemeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION LIM FST-REUNION

37 View

0 Download

Share