The following pages link to (Q4944863):
Displaying 5 items.
- Generalized definite set constraints (Q1975208) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Equational and membership constraints for infinite trees (Q5055789) (← links)
- Checking Emptiness of Non-Deterministic Regular Types with Set Operators (Q5415619) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)