Some new decidability results on positive and negative set constraints
From MaRDI portal
Publication:5096317
DOI10.1007/BFb0016864zbMath1495.03010MaRDI QIDQ5096317
Sophie Tison, Rémi Gilleron, Marc Tommasi
Publication date: 16 August 2022
Published in: Constraints in Computational Logics (Search for Journal in Brave)
Related Items
Unification of concept terms in description logics, Grid structures and undecidable constraint theories, Set constraints and automata, Tree Automata with Global Constraints