An undecidable fragment of the theory of set constraints

DOI10.1016/S0020-0190(98)00152-5zbMath0909.68067MaRDI QIDQ1274577

Witold Charatonik

Publication date: 12 January 1999

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

first-order theoryset constraintstheory of computation

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items

Grid structures and undecidable constraint theories, The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard

Cites Work

• Decidability of systems of set constraints with negative constraints
• Grid structures and undecidable constraint theories
• Unnamed Item