Binary Non-Termination in Term Rewriting and Logic Programming - Laboratoire d'Informatique et de Mathématiques 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 : CC BY NC ND - Attribution - NonCommercial - NoDerivatives

Dates and versions

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

Licence

Attribution - NonCommercial - NoDerivatives

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⟩
19 View
4 Download

Altmetric

Share

Gmail Facebook X LinkedIn More