Conference Papers
Year : 2018
Nirina Andrianarivelo : Connect in order to contact the contributor
https://univ-orleans.hal.science/hal-01780553
Submitted on : Friday, April 27, 2018-3:52:58 PM
Last modification on : Saturday, June 25, 2022-10:12:58 AM
Dates and versions
Identifiers
- HAL Id : hal-01780553 , version 1
Cite
Nirina Andrianarivelo, Pierre Rety. Confluence of Prefix-Constrained Rewrite Systems. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. ⟨hal-01780553⟩
Collections
110
View
0
Download