Login / Signup

Deciding confluence of certain term rewriting systems in polynomial time.

Guillem GodoyAshish TiwariRakesh 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