Pages that link to "Item:Q1285862"
From MaRDI portal
The following pages link to An algorithm for general set unification and its complexity (Q1285862):
Displaying 6 items.
- Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case (Q1290508) (← links)
- An efficient labelled nested multiset unification algorithm (Q2152299) (← links)
- Set unification (Q3422416) (← links)
- (Q3785940) (← links)
- Amortized Analysis of Algorithms for Set Union with Backtracking (Q4729325) (← links)
- Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)