Modular termination of prefix-constrained term rewrite systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2022

Modular termination of prefix-constrained term rewrite systems

Domaines

Informatique [cs] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
S0020019021001228.pdf (919.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Accord Elsevier CCSD  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03356610

Soumis le : lundi 16 octobre 2023-13:24:39

Dernière modification le : lundi 16 octobre 2023-13:24:40

Archivage à long terme le : mercredi 17 janvier 2024-19:59:59

Télécharger pour visualiser

Dates et versions

hal-03356610 , version 1 (16-10-2023)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

Manuscrit accepté hébergé par Elsevier

Citer

Nirina Andrianarivelo, Pierre Réty. Modular termination of prefix-constrained term rewrite systems. Information Processing Letters, 2022, ⟨10.1016/j.ipl.2021.106207⟩. ⟨hal-03356610⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS MSL MSL-THESE INSA-GROUPE INSA-CVL
45 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More