SCT and the idempotence condition

Pré-Publication, Document De Travail Année : 2008

(1)

Jean-Yves Moyen

Laboratoire d'Informatique de Paris-Nord

These notes show how to get rid of the idempotence condition (G=G;G) in (delta)-Size Change Termination.

Implicit Computational Complexity Size Change Principle

Logique en informatique [cs.LO]

Fichier principal

SCP-noidem.pdf (110.92 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-00278943

Soumis le : mercredi 14 mai 2008-14:25:28

Dernière modification le : vendredi 24 mars 2023-14:52:50

Archivage à long terme le : vendredi 28 septembre 2012-14:40:15

hal-00278943 , version 1 (14-05-2008)

Jean-Yves Moyen. SCT and the idempotence condition. 2008. ⟨hal-00278943⟩

UNIV-PARIS13 CNRS LIPN GALILE SORBONNE-PARIS-NORD ANR

60 Consultations

264 Téléchargements