Login / Signup

Automatic Inference of Term Equivalence in Term Rewriting Systems.

Marco CominiLuca Torella
Published in: SCSS (2013)
Keyphrases
  • term rewriting systems
  • term extraction
  • bayesian networks
  • functional programs
  • probabilistic inference
  • bayesian inference
  • relational databases
  • data model
  • fully automatic