Title :

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

Author(s) :

Chenavier, Cyrille [Auteur]
Finite-time control and estimation for distributed systems [VALSE]
Lucas, Maxime [Auteur]
Laboratoire des Sciences du Numérique de Nantes [LS2N]
Gallinette : vers une nouvelle génération d'assistant à la preuve [LS2N - équipe GALLINETTE]

Conference title :

IWC 2019 - 8th International Workshop on Confluence

City :

Dortmund

Country :

Allemagne

Start date of the conference :

2019-06-28

HAL domain(s) :

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]

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL