NTI - Université de La Réunion

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2007

NTI

(1)

1

Etienne Payet

Fonction : Auteur
PersonId : 1243814
IdHAL : etienne-payet
ORCID : 0000-0002-3519-025X

Laboratoire d'Informatique et de Mathématiques

Résumé

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

Mots clés

Non-Termination Term Rewriting Logic Programming

Domaines

Logique en informatique [cs.LO]

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 : mardi 19 mars 2024-06:51:03

Dates et versions

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

Identifiants

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 :
Licences : https://spdx.org/licenses/LGPL-3.0+
Langage de programmation : Java 8
Code Repository : https://github.com/etiennepayet/nti

Citer

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⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION LIM FST-REUNION

8 Consultations

0 Téléchargements

Partager