ACM Transactions on Computational Logic (TOCL)
The CADE-14 ATP System Competition
Journal of Automated Reasoning
Journal of Automated Reasoning
The CADE-15 ATP System Competition
Journal of Automated Reasoning
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Validation of Proofs Using PhoX
Electronic Notes in Theoretical Computer Science (ENTCS)
Clausal connection-based theorem proving in intuitionistic first-order logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
The ILTP library: benchmarking automated theorem provers for intuitionistic logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Automating Inductive Specification Proofs
Fundamenta Informaticae
Hi-index | 0.00 |