Login / Signup
Inference rules for proving the equivalence of recursive procedures.
Benny Godlin
Ofer Strichman
Published in:
Acta Informatica (2008)
Keyphrases
</>
inference rules
datalog programs
theorem proving
modal logic
first order logic
logical framework
theorem prover
logic programming language
conditional probabilities
horn clauses
set of inference rules
databases
natural deduction
binary relations
random variables
small number
probabilistic model