Pages that link to "Item:Q1882908"
From MaRDI portal
The following pages link to Sound generalizations in mathematical induction (Q1882908):
Displaying 7 items.
- A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure (Q674399) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Sound lemma generation for proving inductive validity of equations (Q3165943) (← links)
- Extensions to a generalization critic for inductive proof (Q4647499) (← links)
- Lazy generation of induction hypotheses (Q5210761) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)