4 citations · 8 across the 17 of their papers we have counts for
1 paper · 1 filter
Mnacho Echenim, Nicolas Peltier
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-comp…