Pages that link to "Item:Q5055713"
From MaRDI portal
The following pages link to Inductive proofs by specification transformations (Q5055713):
Displaying 7 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Unification in pseudo-linear sort theories is decidable (Q4647533) (← links)
- On relationship between term rewriting systems and regular tree languages (Q5055769) (← links)
- On finite representations of infinite sequences of terms (Q5881270) (← links)
