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 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 : Tuesday, November 19, 2019 - 4:46:36 PM

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

Share

Metrics

Record views

75