Confluence of Prefix-Constrained Rewrite Systems

Type de document :
Communication dans un congrès
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. 2018
Liste complète des métadonnées

https://hal-univ-orleans.archives-ouvertes.fr/hal-01780553
Contributeur : Nirina Andrianarivelo <>
Soumis le : vendredi 27 avril 2018 - 15:52:58
Dernière modification le : jeudi 17 janvier 2019 - 15:10:02

Identifiants

  • HAL Id : hal-01780553, version 1

Collections

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. 2018. 〈hal-01780553〉

Partager

Métriques

Consultations de la notice

52