Login / Signup

Classes of term rewrite systems with polynomial confluence problems.

Guillem GodoyRobert NieuwenhuisAshish Tiwari
Published in: ACM Trans. Comput. Log. (2004)
Keyphrases
  • term rewrite systems
  • np complete
  • database
  • response time
  • multi dimensional
  • data mining
  • optimization problems
  • data mining techniques
  • polynomial hierarchy