Pages that link to "Item:Q5941204"
From MaRDI portal
The following pages link to Grid structures and undecidable constraint theories (Q5941204):
Displayed 6 items.
- Tree tuple languages from the logic programming point of view (Q877842) (← links)
- An undecidable fragment of the theory of set constraints (Q1274577) (← links)
- Set constraints and automata (Q1286366) (← links)
- The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard (Q1607043) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- The Existential Fragment of the One-Step Parallel Rewriting Theory (Q3636820) (← links)