The following pages link to (Q3490953):
Displaying 8 items.
- Testing for the ground (co-)reducibility property in term-rewriting systems (Q685352) (← links)
- Induction using term orders (Q1915132) (← links)
- Inductive theorem proving for design specifications (Q1918497) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Proof Terms for Infinitary Rewriting (Q5170824) (← links)
- Induction using term orderings (Q5210765) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)