Decidability of the Confluence of Ground ...

Document type :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
Title :
Decidability of the Confluence of Ground Term Rewriting Systems.
Author(s) :
Dauchet, Max [Auteur] refId
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Tison, Sophie [Auteur] refId
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Linking Dynamic Data [LINKS]
Heuillard, Thierry [Auteur]
Lescanne, Pierre [Auteur]
Laboratoire de l'Informatique du Parallélisme [LIP]
Conference title :
LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science
City :
Ithaca, New York
Country :
Etats-Unis d'Amérique
Start date of the conference :
1987-06-22
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL