Set constraints and logic programming

DOI10.1006/inco.1997.2694zbMath0917.68045OpenAlexW2124266137MaRDI QIDQ1271565

Dexter Kozen

Publication date: 8 August 1999

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1997.2694

zbMATH Keywords

set constraints

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Grid structures and undecidable constraint theories ⋮ Set constraints with intersection

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partitioning a graph in \(O(|A|\log_ 2|V|)\)
• Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings
• Decidability of systems of set constraints with negative constraints
• Three Partition Refinement Algorithms

This page was built for publication: Set constraints and logic programming