Modular termination of prefix-constrained term rewrite systems
| Origin | Files produced by the author(s) |
|---|
Journal Articles
Information Processing Letters
Year : 2022
Accord Elsevier CCSD : Connect in order to contact the contributor
https://inria.hal.science/hal-03356610
Submitted on : Monday, October 16, 2023-1:24:39 PM
Last modification on : Monday, October 16, 2023-1:24:40 PM
Long-term archiving on : Wednesday, January 17, 2024-7:59:59 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-03356610 , version 1
- DOI : 10.1016/j.ipl.2021.106207
- PII : S0020-0190(21)00122-8
Cite
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
127
View
13
Download