Some new decidability results on positive and negative set constraints

DOI10.1007/BFb0016864zbMath1495.03010OpenAlexW1509368987MaRDI QIDQ5096317

Rémi Gilleron, Marc Tommasi, Sophie Tison

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0016864

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items

Tree Automata with Global Constraints, Unification of concept terms in description logics, Grid structures and undecidable constraint theories, Set constraints and automata

Cites Work

• Decidability of systems of set constraints with negative constraints
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item