Login / Signup

Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems.

Xavier Urbain
Published in: IJCAR (2001)
Keyphrases
  • term rewriting systems
  • incremental learning
  • logic programs
  • data driven
  • semi automated
  • functional programs
  • software engineering
  • rough sets