Login / Signup

Proving Confluence of Term Rewriting Systems Automatically.

Takahito AotoJunichi YoshidaYoshihito Toyama
Published in: RTA (2009)
Keyphrases
  • term rewriting systems
  • general purpose
  • automatically generated
  • functional programs
  • first order logic
  • databases
  • machine learning
  • management system