Journal of Automated Reasoning
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Soft Typing for Ordered Resolution
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
On Generating Small Clause Normal Forms
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Towards an Automatic Analysis of Security Protocols in First-Order Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Adaptive Saturation-Based Reasoning
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Learning Search Control Knowledge for Equational Theorem Proving
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Translating Mizar for First Order Theorem Provers
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Towards an Automatic Analysis of Security Protocols in First-Order Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Vampire 1.1 (System Description)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
Towards formal validation of trust and security in the internet of services
The future internet
Deduction with XOR constraints in security API modelling
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Machine learning approach to enhance the design of automated theorem provers
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part II
| Hi-index | 0.00 |
SPASS is an automated theorem prover for full first-order logic with equality. This system description provides a rough overview over recent developments.