Pages that link to "Item:Q5055713"
From MaRDI portal
The following pages link to Inductive proofs by specification transformations (Q5055713):
Displaying 19 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Proofs by induction in equational theories with constructors (Q789177) (← links)
- A general proof rule for procedures in predicate transformer semantics (Q797986) (← links)
- Equational formulae with membership constraints (Q1333268) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Inductive theorem proving for design specifications (Q1918497) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- On Inductive and Coinductive Proofs via Unfold/Fold Transformations (Q3558288) (← links)
- (Q4012183) (← links)
- Unification in pseudo-linear sort theories is decidable (Q4647533) (← links)
- Proving ground confluence and inductive validity in constructor based equational specifications (Q5044723) (← links)
- On relationship between term rewriting systems and regular tree languages (Q5055769) (← links)
- Generic induction proofs (Q5881185) (← links)
- On finite representations of infinite sequences of terms (Q5881270) (← links)
- Proof by consistency in conditional equational theories (Q5881278) (← links)
- Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification (Q6486039) (← links)
