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