Decidability of the Confluence of Ground Term Rewriting Systems

Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne

Browse the full LICS paper archive.