Confluence of Prefix-Constrained Rewrite Systems

Document type :
Conference papers
Complete list of metadatas

https://hal-univ-orleans.archives-ouvertes.fr/hal-01780553
Contributor : Nirina Andrianarivelo <>
Submitted on : Friday, April 27, 2018 - 3:52:58 PM
Last modification on : Thursday, January 17, 2019 - 3:10:02 PM

Identifiers

  • HAL Id : hal-01780553, version 1

Citation

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⟩

Share

Metrics

Record views

68