Login / Signup

Proving Injectivity of Functions via Program Inversion in Term Rewriting.

Naoki NishidaMasahiko Sakai
Published in: FLOPS (2010)
Keyphrases
  • term rewriting
  • theorem proving
  • theorem prover
  • operational semantics
  • rewrite systems
  • knuth bendix
  • image reconstruction
  • functional programs
  • databases
  • machine learning
  • natural language
  • first order logic