Pages that link to "Item:Q2870135"
From MaRDI portal
The following pages link to Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo (Q2870135):
Displaying 10 items.
- Zenon (Q18828) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Automatically proving equivalence by type-safe reflection (Q2364699) (← links)
- Soundly Proving B Method Formulæ Using Typed Sequent Calculus (Q3179401) (← links)
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416) (← links)
- CTL Model Checking in Deduction Modulo (Q3454102) (← links)
- Integrating Simplex with Tableaux (Q3455763) (← links)
- A Polymorphic Vampire (Q5049013) (← links)
- (Q6046173) (← links)