The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategies

Domaines

Catégories et ensembles [math.CT] Logique en informatique [cs.LO] K-théorie et homologie [math.KT]
Fichier principal
Vignette du fichier
Source.pdf (380.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Maxime Lucas  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02385139

Soumis le : jeudi 28 novembre 2019-16:29:48

Dernière modification le : lundi 8 avril 2024-15:09:24

Archivage à long terme le : samedi 29 février 2020-18:57:55

Télécharger pour visualiser

Dates et versions

hal-02385139 , version 1 (28-11-2019)

Identifiants

  • HAL Id : hal-02385139 , version 1

Citer

Cyrille Chenavier, Maxime Lucas. The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategies. IWC 2019 - 8th International Workshop on Confluence, Jun 2019, Dortmund, Germany. pp.1-5. ⟨hal-02385139⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS INRIA EC-NANTES UNAM CRISTAL INRIA2 LS2N LS2N-GALLINETTE UNIV-LILLE CRISTAL-VALSE NANTES-UNIVERSITE
113 Consultations
110 Téléchargements

Partager

Gmail Facebook X LinkedIn More