Pages that link to "Item:Q1271568"
From MaRDI portal
The following pages link to Set constraints in some equational theories (Q1271568):
Displaying 17 items.
- Rational spaces and set constraints (Q671675) (← links)
- Language equations with complementation: decision problems (Q880178) (← links)
- Decision problems for language equations (Q972384) (← links)
- Set constraints and logic programming (Q1271565) (← links)
- Interconvertibility of a class of set constraints and context-free-language reachability (Q1583350) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Decidability of systems of set constraints with negative constraints (Q1900313) (← links)
- Generalized definite set constraints (Q1975208) (← links)
- Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
- Set constraints with intersection (Q2506490) (← links)
- ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS (Q3086245) (← links)
- On Equations over Sets of Numbers and Their Limitations (Q3637239) (← links)
- (Q4944863) (← links)
- Set constraints in some equational theories (Q5096315) (← links)
- Set Constraints, Pattern Match Analysis, and SMT (Q5098738) (← links)
- Computer Science Logic (Q5311277) (← links)
- Constrained equational deduction (Q5881303) (← links)