Pages that link to "Item:Q1103417"
From MaRDI portal
The following pages link to About the Paterson-Wegman linear unification algorithm (Q1103417):
Displayed 8 items.
- On the parameterized complexity of associative and commutative unification (Q729894) (← links)
- A practical unification algorithm (Q751312) (← links)
- Semi-unification (Q808713) (← links)
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- Faster linear unification algorithm (Q2102937) (← links)
- On the Parameterized Complexity of Associative and Commutative Unification (Q2946004) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- (Q5020994) (← links)