Pages that link to "Item:Q1854445"
From MaRDI portal
The following pages link to Automata-driven automated induction (Q1854445):
Displayed 8 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
- Deciding the Inductive Validity of ∀ ∃ * Queries (Q3644758) (← links)