Binary Non-Termination in Term Rewriting and Logic Programming - Université de La Réunion Access content directly
Conference Papers Year : 2023

Binary Non-Termination in Term Rewriting and Logic Programming

Abstract

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.
Fichier principal
Vignette du fichier
wst23.pdf (462.45 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence

Dates and versions

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

Licence

Identifiers

Cite

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⟩
23 View
6 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More