Skip to Main content Skip to Navigation
Conference papers

Confluence of Prefix-Constrained Rewrite Systems

Document type :
Conference papers
Complete list of metadata
Contributor : Nirina Andrianarivelo Connect in order to contact the contributor
Submitted on : Friday, April 27, 2018 - 3:52:58 PM
Last modification on : Wednesday, November 3, 2021 - 7:32:20 AM


  • HAL Id : hal-01780553, version 1


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⟩



Les métriques sont temporairement indisponibles