Decidability of the Confluence of Ground ...

Type de document :
Autre communication scientifique (congrès sans actes - poster - séminaire...): Communication dans un congrès avec actes
Titre :
Decidability of the Confluence of Ground Term Rewriting Systems.
Auteur(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]
Titre de la manifestation scientifique :
LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science
Ville :
Ithaca, New York
Pays :
Etats-Unis d'Amérique
Date de début de la manifestation scientifique :
1987-06-22
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL