The following pages link to E-SETHEO (Q19196):
Displaying 18 items.
- The disconnection tableau calculus (Q877889) (← links)
- Connection tableaux with lazy paramodulation (Q928656) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Limited resource strategy in resolution theorem proving (Q1404979) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- (Q2702605) (← links)
- (Q2721215) (← links)
- Efficient Low-Level Connection Tableaux (Q3455764) (← links)
- Subgoal alternation in model elimination (Q4610327) (← links)
- E-MaLeS 1.1 (Q4928455) (← links)
- SETHEO goes software engineering: Application of ATP to software reuse (Q5234691) (← links)
- Automatic verification of cryptographic protocols with SETHEO (Q5234693) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705938) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)
