Journal of Automated Reasoning
External Rewriting for Skeptical Proof Assistants
Journal of Automated Reasoning
Automated Proof Construction in Type Theory Using Resolution
Journal of Automated Reasoning
Extraction of Proofs from the Clausal Normal Form Transformation
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Translation of resolution proofs into short first-order proofs without choice axioms
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Translation of resolution proofs into short first-order proofs without choice axioms
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Hi-index | 0.00 |