Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.

DOI10.4230/LIPIcs.RTA.2012.165zbMath1437.68079OpenAlexW575118053MaRDI QIDQ5111903

Bertram Felgenhauer

Publication date: 27 May 2020

Full work available at URL: https://dblp.uni-trier.de/db/conf/rta/rta2012.html#Felgenhauer12

zbMATH Keywords

decidabilityconfluenceterm rewritingground terms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

Related Items

First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification ⋮ Unnamed Item