Pages that link to "Item:Q1900313"
From MaRDI portal
The following pages link to Decidability of systems of set constraints with negative constraints (Q1900313):
Displaying 21 items.
- Rational spaces and set constraints (Q671675) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- Set constraints and logic programming (Q1271565) (← links)
- Set constraints in some equational theories (Q1271568) (← links)
- An undecidable fragment of the theory of set constraints (Q1274577) (← links)
- Set constraints and automata (Q1286366) (← links)
- Set constraints and topology (Q1603373) (← links)
- The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard (Q1607043) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Negation in combining constraint systems (Q2782487) (← links)
- Tree Automata with Global Constraints (Q3533021) (← links)
- TREE AUTOMATA WITH GLOBAL CONSTRAINTS (Q3586405) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- Problems in rewriting III (Q5055847) (← 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)
- Set Constraints, Pattern Match Analysis, and SMT (Q5098738) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)