Login / Signup

TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems.

Marco CominiLuca Torella
Published in: PEPM (2013)
Keyphrases
  • term rewriting systems
  • term extraction
  • fully automatic
  • logic programs
  • semi automatic
  • probabilistic inference
  • machine learning
  • high level
  • database systems
  • conceptual model
  • bayesian inference
  • functional programs