Pages that link to "Item:Q1854350"
From MaRDI portal
The following pages link to Induction = I-axiomatization + first-order consistency. (Q1854350):
Displayed 12 items.
- Attacking group protocols by refuting incorrect inductive conjectures (Q861695) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- Model building with ordered resolution: Extracting models from saturated clause sets (Q1404975) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- Superposition for Fixed Domains (Q3540186) (← links)
- Deciding the Inductive Validity of ∀ ∃ * Queries (Q3644758) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Narrowing Based Inductive Proof Search (Q4916079) (← links)
- Decidability Results for Saturation-Based Model Building (Q5191116) (← links)
- Predicate Completion for non-Horn Clause Sets (Q5200033) (← links)
- System Description: SPASS-FD (Q5200034) (← links)