System description: Spass version 1.0.0

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1632, Issue , 1999, Pages 378-382

  Weidenbach, Christoph ^a   Afshordel, Bijan ^a   Brahm, Uwe ^a   Cohrs, Christian ^a   Engel, Thorsten ^a   Keen, Enno ^a   Theobalt, Christian ^a   Topić, Dalibor ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL LOGIC;

AUTOMATED THEOREM PROVER; FIRST-ORDER LOGIC WITH EQUALITY; SYSTEM DESCRIPTION;

THEOREM PROVING;

EID: 84957639842     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48660-7_34     Document Type: Conference Paper

References (6)

1. Ganzinger, H., Meyer, C. & Weidenbach, C. (1997), Soft typing for ordered resolution, in ‘Proceedings of the 14th International Conference on Automated Deduction, CADE-14’, Vol. 1249 of LNAI, Springer, Townsville, Australia, pp. 321-335.
2. Hähnle, R., Kerber, M. & Weidenbach, C. (1996), Common syntax of the DFG- Schwerpunktprogramm “Deduktion”, Interner Bericht 10/96, Universitat Karlsruhe, Fakultat fur Informatik, Germany.
3. Nonnengart, A., Rock, G. & Weidenbach, C. (1998), On generating small clause normal forms, in ‘15th International Conference on Automated Deduction, CADE-15’, Vol. 1421 of LNAI, Springer, pp. 397-411.
4. Sutcliffe, G. & Suttner, C. B. (1998), ‘The tptp problem library - cnf release v1.2.1’, Journal of Automated Reasoning 21(2), 177-203.
5. Weidenbach, C. (1999), Towards an automatic analysis of security protocols in first- order logic, in H. Ganzinger, ed., ‘16th International Conference on Automated Deduction, CADE-16’, LNAI, Springer. This volume.
6. Weidenbach, C., Gaede, B. & Rock, G. (1996), Spass & flotter, version 0.42, in M. McRobbie & J. Slaney, eds, ‘13th International Conference on Automated Deduction, CADE-13’, Vol. 1104 of LNAI, Springer, pp. 141-145.