Subscribe

Academic

S PASS Version 2.0

S PASS Version 2.0,Christoph Weidenbach,Uwe Brahm,Thomas Hillenbrand,Enno Keen,Christian Theobald,Dalibor Topic

S PASS Version 2.0 (Citations: 7)


	BibTex \| RIS \| RefWorks Download

, , , , ,

Conference: Conference on Automated Deduction - CADE , pp. 275-279, 2002

Cumulative Annual

View Publication

( www.informatik.uni-trier.de )

( link.springer.de )

Citation Context (1)

- ...Then, these requirements are formalised in First-Order Logic and analysed with automatic theorem provers (e-SETHEO [16] and SPASS [17]) to find a flaw...
Rocío Aldeco-Pérez, et al. Securing Provenance-Based Audits

Sort by:

Citations (7)

Securing Provenance-Based Audits

,

Conference: International Provenance and Annotation Workshop - IPAW , pp. 148-164, 2010

TSTP Data-Exchange Formats for Automated Theorem Proving Tools (Citations: 25)

,

Published in 2004.

Practical Partition-Based Theorem Proving for Large Knowledge Bases (Citations: 31)

, , ,

Conference: International Joint Conference on Artificial Intelligence - IJCAI , pp. 89-98, 2003

Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic (Citations: 8)

, , ,

Practical Proof Checking for Program Certification (Citations: 5)

, ,