Proving Theorems by Folding/Unfolding
Proving Theorems by Folding/Unfolding

The purpose of this work is to study, formally, the provability of implicative formulas by static analysis. To do that, we propose heuristics that...