Login / Signup

On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs.

Tsubasa SakataNaoki NishidaToshiki Sakabe
Published in: WFLP (2011)
Keyphrases
  • term rewrite systems
  • dependency graphs
  • rewrite rules
  • dependency graph
  • directed graph
  • edge detector
  • causal models
  • data mining
  • database systems
  • viewpoint
  • weighted graph
  • transformation rules