Skip to Main content Skip to Navigation
Conference papers

Confluence of Prefix-Constrained Rewrite Systems

Nirina Andrianarivelo 1 Pierre Rety 2 
1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Document type :
Conference papers
Complete list of metadata
https://hal-univ-orleans.archives-ouvertes.fr/hal-01780553
Contributor : Nirina Andrianarivelo Connect in order to contact the contributor
Submitted on : Friday, April 27, 2018 - 3:52:58 PM
Last modification on : Saturday, June 25, 2022 - 10:12:58 AM

Identifiers

  • HAL Id : hal-01780553, version 1

Collections

UNIV-ORLEANS | MSL | MSL-THESE | INSA-GROUPE | INSA-CVL

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

70