E-SETHEO
From MaRDI portal
Software:19196
swMATH7141MaRDI QIDQ19196FDOQ19196
Author name not available (Why is that?)
Cited In (18)
- SETHEO goes software engineering: Application of ATP to software reuse
- 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!
- IeanCOP: lean connection-based theorem proving
- E-MaLeS 1.1
- 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
