Login / Signup
Proving Injectivity of Functions via Program Inversion in Term Rewriting.
Naoki Nishida
Masahiko 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