Skip to Main content Skip to Navigation
Conference papers

Decidability of the Confluence of Ground Term Rewriting Systems.

Max Dauchet 1 Sophie Tison 1, 2 Thierry Heuillard Pierre Lescanne 3
2 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02193998
Contributor : Sophie Tison Connect in order to contact the contributor
Submitted on : Thursday, July 25, 2019 - 9:49:19 AM
Last modification on : Saturday, September 11, 2021 - 3:19:35 AM

Identifiers

  • HAL Id : hal-02193998, version 1

Citation

Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne. Decidability of the Confluence of Ground Term Rewriting Systems.. LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science, Jun 1987, Ithaca, New York, United States. ⟨hal-02193998⟩

Share

Metrics

Record views

95