Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr. SETHEO and E-SETHEO - The CADE-13 Systems. Journal of Automated Reasoning, 18(2):237-246, 1997.
Possibly Related PublicationsThe following publications are possibly variants of this publication: The SETHEO System (system description)Ortrun Ibens. wlp 1997: SETHEO II - The System and its CalculiReinhold Letz, Klaus Mayr. tableaux 1992: 49-51 SETHEO V3.2: Recent Developments - System AbstractChristoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann. cade 1994: 778-782 Automatic Verification of Cryptographic Protocols with SETHEOJohann Schumann. cade 1997: 87-100 SETHEO: A High-Performance Theorem ProverReinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel. JAR, 8(2):183-212, 1992. PIL/SETHEO: A Tool for the Automatic Analysis of Authentication ProtocolsJohann Schumann. cav 1999: 500-504 [doi]
The following publications are possibly variants of this publication: