Modular termination of prefix-constrained term rewrite systems - Archive ouverte HAL Access content directly
Journal Articles Information Processing Letters Year : 2022

Modular termination of prefix-constrained term rewrite systems

Fichier principal
Vignette du fichier
S0020019021001228.pdf (919.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution - NonCommercial

Identifiers

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⟩
45 View
3 Download

Altmetric

Share

Gmail Facebook X LinkedIn More