Login / Signup

Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.

Bertram Felgenhauer
Published in: RTA (2012)
Keyphrases
  • term rewrite systems
  • rewrite rules
  • b spline
  • management system