Pages that link to "Item:Q5096317"
From MaRDI portal
The following pages link to Some new decidability results on positive and negative set constraints (Q5096317):
Displaying 9 items.
- Set constraints in some equational theories (Q1271568) (← links)
- Set constraints and automata (Q1286366) (← links)
- Negative Boolean constraints (Q1350538) (← links)
- Decidability of systems of set constraints with negative constraints (Q1900313) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- Tree Automata with Global Constraints (Q3533021) (← links)
- Set constraints in some equational theories (Q5096315) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)