The following pages link to Set constraints with intersection (Q2506490):
Displaying 4 items.
- Tree tuple languages from the logic programming point of view (Q877842) (← links)
- Tree automata with one memory set constraints and cryptographic protocols (Q1770429) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- A Scalable Inclusion Constraint Solver Using Unification (Q5504597) (← links)
