The following pages link to (Q4525271):
Displaying 19 items.
- Rational spaces and set constraints (Q671675) (← links)
- Decision problems for language equations (Q972384) (← links)
- Closure properties and decision problems of dag automata (Q1041757) (← links)
- Set constraints and logic programming (Q1271565) (← links)
- Set constraints in some equational theories (Q1271568) (← links)
- Set constraints and automata (Q1286366) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Complexity of nilpotent unification and matching problems. (Q1854363) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Language equations (Q2074222) (← links)
- Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Unification and matching modulo nilpotence (Q4647522) (← links)
- Set constraints in some equational theories (Q5096315) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- Rational spaces and set constraints (Q5096725) (← 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)
- Unification of concept terms in description logics (Q5929707) (← links)
