Skip to Main content Skip to Navigation
New interface
Journal articles

Modular termination of prefix-constrained term rewrite systems

Complete list of metadata

https://hal.inria.fr/hal-03356610
Contributor : Pierre Réty Connect in order to contact the contributor
Submitted on : Tuesday, September 28, 2021 - 11:24:45 AM
Last modification on : Saturday, June 25, 2022 - 10:13:26 AM

Identifiers

Citation

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

Share

Metrics

Record views

17