Set constraints with projections
From MaRDI portal
Publication:3578206
DOI10.1145/1734213.1734217zbMath1327.68127OpenAlexW2125639421MaRDI QIDQ3578206
Witold Charatonik, Leszek Pacholski
Publication date: 14 July 2010
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1734213.1734217
Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Problems in rewriting III ⋮ Set Constraints, Pattern Match Analysis, and SMT ⋮ Tree Automata with Global Constraints ⋮ Computational completeness of equations over sets of natural numbers
This page was built for publication: Set constraints with projections