2 papers
cs.LO2018
Partial Regularization of First-Order Resolution Proofs
Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
Resolution and superposition are common techniques which have seen widespread use with propositional and first-order logic in modern theorem provers. In these cases, resolution pro…
cs.LO2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Catherine Dubois, Bruno Woltzenlogel Paleo
This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS…