E-SETHEO
From MaRDI portal
Cited in
(28)- A domain-specific language for cryptographic protocols based on streams
- Craig interpolation with clausal first-order tableaux
- Deduction-based software component retrieval
- E-MaLeS 1.1
- scientific article; zbMATH DE number 1612568 (Why is no real title available?)
- The disconnection tableau calculus
- First order Stålmarck. Universal lemmas through branch merges
- SETHEO
- GrAnDe
- SicoTHEO
- linTAP
- 3TAP
- PROTEIN
- mural
- METEOR
- PARIS
- ILF-SETHEO
- Efficient Low-Level Connection Tableaux
- Controlled use of clausal lemmas in connection tableau calculi
- Limited resource strategy in resolution theorem proving
- Logic for Programming, Artificial Intelligence, and Reasoning
- Let's plan it deductively!
- Combined reasoning by automated cooperation
- IeanCOP: lean connection-based theorem proving
- Subgoal alternation in model elimination
- SETHEO goes software engineering: application of ATP to software reuse
- Automatic verification of cryptographic protocols with SETHEO
- Connection tableaux with lazy paramodulation
This page was built for software: E-SETHEO
