Pages that link to "Item:Q1173920"
From MaRDI portal
The following pages link to Unifications, deunifications, and their complexity (Q1173920):
Displaying 5 items.
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- On complexity of the anti-unification problem (Q3184519) (← links)
- (Q3785922) (← links)
- Unification and Logarithmic Space (Q5170809) (← links)