Login / Signup
Deciding confluence of certain term rewriting systems in polynomial time.
Guillem Godoy
Ashish Tiwari
Rakesh M. Verma
Published in:
Ann. Pure Appl. Log. (2004)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
special case
approximation algorithms
computational complexity
data warehouse
worst case
logic programming