The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SETHEO with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-1997 (17) 1998-2004 (13)
Publication types (Num. hits)
article(5) incollection(1) inproceedings(24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 11 keywords

Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
93Johann Schumann Automatic Verification of Cryptographic Protocols with SETHEO. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
72Bernd Fischer 0002, Johann Schumann SETHEO Goes Software Engineering: Application of ATP to Software Reuse. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
62Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr SETHEO and E-SETHEO - The CADE-13 Systems. Search on Bibsonomy J. Autom. Reason. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
57Wolfgang Ertel OR-Parallel Theorem Proving with Random Competition. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination
52Gernot Stenz, Andreas Wolf 0005 E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
52Andreas Wolf p-SETHEO: Strategy Parallelism in Automated Theorem Proving. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Johann Schumann, Bernd Fischer 0002 NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF deduction-based software component retrieval, NORA/HAMMR, search keys, proof tasks, rejection filters, model checking techniques, confirmation filter, software reusability, signature matching, automated theorem prover
31Joachim Draeger Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Gernot Stenz, Andreas Wolf 0005 E-SETHEO: An Automated3 Theorem Prover. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Christian B. Suttner SPS-Parallelism + SETHEO = SPTHEO. Search on Bibsonomy J. Autom. Reason. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Johann Schumann PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Johann Schumann SiCoTHEO - Simple competitive parallel theorem provers based on SETHEO. Search on Bibsonomy Parallel Processing for Artificial Intelligence 3 The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Ortrun Ibens The SETHEO System (system description). Search on Bibsonomy WLP The full citation details ... 1997 DBLP  BibTeX  RDF
31Andreas Wolf 0005, Johann Schumann ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Johann Schumann Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
31Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann SETHEO V3.2: Recent Developments - System Abstract. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
31Christoph Goller Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen Search on Bibsonomy Forschungsberichte, TU Munich The full citation details ... 1993   RDF
31Johann M. Ph. Schumann, Max Moser A graphical user interface for SETHEO: proposal Search on Bibsonomy Forschungsberichte, TU Munich The full citation details ... 1992   RDF
31Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel SETHEO: A High-Performance Theorem Prover. Search on Bibsonomy J. Autom. Reason. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
31Reinhold Letz, Klaus Mayr SETHEO II - The System and its Calculi. Search on Bibsonomy TABLEAUX The full citation details ... 1992 DBLP  BibTeX  RDF
21Ewen Denney, Bernd Fischer 0002, Johann Schumann Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Michael W. Whalen, Johann Schumann, Bernd Fischer 0002 Synthesizing Certified Code. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
21Gernot Stenz, Andreas Wolf 0005 Scheduling Methods for Parallel Automated Theorem Proving. Search on Bibsonomy AI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Marc Fuchs, Dirk Fuchs Abstraction-Based Relevancy Testing for Model Elimination. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Peter Jakobi, Andreas Wolf DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data. Search on Bibsonomy CSMR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Leo Bachmair, Harald Ganzinger, Andrei Voronkov Elimination of Equality via Transformation with Ordering Constraints. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Andreas Wolf Strategy Selection for Automated Theorem Proving. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Koji Iwanuma Lemma Matching for a PTTP-based Top-down Theorem Prover. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Heribert Schütz, Tim Geisler Efficient Model Generation through Compilation. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, Xavier Pandolfi PARTHEO: A Parallel Inference Machine. Search on Bibsonomy PARLE (1) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #30 of 30 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license