The following pages link to Inductionless induction (Q2751366):
Displaying 21 items.
- Reducing equational theories for the decision of static equivalence (Q437026) (← links)
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Proving weak properties of rewriting (Q554217) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Induction in saturation-based proof search (Q2305434) (← links)
- Finite reasons for safety (Q2351397) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)
- Analysis of the Collision Resistance of RadioGatúnUsing Algebraic Techniques (Q3644204) (← links)
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving (Q5191111) (← links)
- Induction using term orderings (Q5210765) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)
- Mechanizing Mathematical Reasoning (Q5717440) (← links)
- A Decidable Class of Nested Iterated Schemata (Q5747768) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)
