The following pages link to Set constraints with projections (Q3578206):
Displaying 6 items.
- Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Tree Automata with Global Constraints (Q3533021) (← links)
- (Q4808755) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Set Constraints, Pattern Match Analysis, and SMT (Q5098738) (← links)