Modular termination of prefix-constrained term rewrite systems
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Article Dans Une Revue
Information Processing Letters
Année : 2022
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
Dates et versions
Licence
Identifiants
- HAL Id : hal-03356610 , version 1
- DOI : 10.1016/j.ipl.2021.106207
- PII : S0020-0190(21)00122-8
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⟩
Collections
184
Consultations
18
Téléchargements