Pages that link to "Item:Q3971290"
From MaRDI portal
The following pages link to Designing unification procedures using transformations: A survey (Q3971290):
Displaying 7 items.
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- A proof theory for general unification (Q1189467) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- (Q4010356) (← links)
- Theorem proving using equational matings and rigid <i>E</i> -unification (Q4302815) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- Linear second-order unification (Q5055871) (← links)