Inference Rules for Proving the Equivalence of Recursive Procedures.

Benny Godlin Ofer Strichman

Published in: Essays in Memory of Amir Pnueli (2010)

Keyphrases

inference rules
datalog programs
modal logic
first order logic
theorem proving
logical framework
theorem prover
logic programming language
sequent calculus
truth values
natural deduction
feature selection
natural language
fixpoint