swMATH7141MaRDI QIDQ19196FDOQ19196
Author name not available (Why is that?)
Official website: http://www4.informatik.tu-muenchen.de/~schulz/WORK/e-setheo.html
Cited In (27)
- First order Stålmarck. Universal lemmas through branch merges
- Title not available (Why is that?)
- Automatic verification of cryptographic protocols with SETHEO
- A domain-specific language for cryptographic protocols based on streams
- Combined reasoning by automated cooperation
- The disconnection tableau calculus
- Let's plan it deductively!
- SETHEO goes software engineering: application of ATP to software reuse
- GrAnDe
- IeanCOP: lean connection-based theorem proving
- E-MaLeS 1.1
- SicoTHEO
- linTAP
- 3TAP
- PROTEIN
- mural
- METEOR
- PARIS
- ILF-SETHEO
- Craig interpolation with clausal first-order tableaux
- Efficient Low-Level Connection Tableaux
- Limited resource strategy in resolution theorem proving
- Subgoal alternation in model elimination
- Logic for Programming, Artificial Intelligence, and Reasoning
- Connection tableaux with lazy paramodulation
- Controlled use of clausal lemmas in connection tableau calculi
- Deduction-based software component retrieval
This page was built for software: E-SETHEO
