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 (4)

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

This page was built for publication: Some new decidability results on positive and negative set constraints