The Diamond Lemma for non-terminating ...
Type de document :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
Titre :
The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategies
Auteur(s) :
Chenavier, Cyrille [Auteur]
Finite-time control and estimation for distributed systems [VALSE]
Lucas, Maxime [Auteur]
Gallinette : vers une nouvelle génération d'assistant à la preuve [LS2N - équipe GALLINETTE]
Laboratoire des Sciences du Numérique de Nantes [LS2N]
Finite-time control and estimation for distributed systems [VALSE]
Lucas, Maxime [Auteur]
Gallinette : vers une nouvelle génération d'assistant à la preuve [LS2N - équipe GALLINETTE]
Laboratoire des Sciences du Numérique de Nantes [LS2N]
Titre de la manifestation scientifique :
IWC 2019 - 8th International Workshop on Confluence
Ville :
Dortmund
Pays :
Allemagne
Date de début de la manifestation scientifique :
2019-06-28
Discipline(s) HAL :
Mathématiques [math]/Catégories et ensembles [math.CT]
Informatique [cs]/Logique en informatique [cs.LO]
Mathématiques [math]/K-théorie et homologie [math.KT]
Informatique [cs]/Logique en informatique [cs.LO]
Mathématiques [math]/K-théorie et homologie [math.KT]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-02385139/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-02385139/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-02385139/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-02385139/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- Source.pdf
- Accès libre
- Accéder au document