Communication Dans Un Congrès Année : 2023

Binary Non-Termination in Term Rewriting and Logic Programming

Etienne Payet
Laboratoire d'Informatique et de Mathématiques

Résumé

We present a new syntactic criterion for the automatic detection of non-termination in an abstract setting that encompasses a simplified form of term rewriting and logic programming.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
wst23.pdf (462.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Paternité - Pas d'utilisation commerciale - Pas de modification

Etienne Payet  : Connectez-vous pour contacter le contributeur

https://hal.univ-reunion.fr/hal-04315644

Soumis le : jeudi 30 novembre 2023-12:53:11

Dernière modification le : lundi 29 avril 2024-11:28:04

Télécharger pour visualiser

Dates et versions

hal-04315644 , version 1 (30-11-2023)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Etienne Payet. Binary Non-Termination in Term Rewriting and Logic Programming. Workshop on Termination (WST), Akihisa Yamada, Aug 2023, Obergurgl, Austria. ⟨10.48550/arXiv.2307.11549⟩. ⟨hal-04315644⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION LIM PAPANGUE FST-REUNION
35 Consultations
23 Téléchargements

Altmetric

Partager

More