Pages that link to "Item:Q1891255"
From MaRDI portal
The following pages link to Implicit induction in conditional theories (Q1891255):
Displayed 12 items.
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- AN EXTENSION OF AN AUTOMATED TERMINATION METHOD OF RECURSIVE FUNCTIONS (Q3021959) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)