Collections, Cardinalities, and Relations

DOI10.1007/978-3-642-11319-2_27zbMath1273.03110OpenAlexW1525684574MaRDI QIDQ3656897

Ruzica Piskac, Kuat Yessenov, Viktor Kuncak

Publication date: 14 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11319-2_27

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (4)

Decision Procedures for Region Logic ⋮ Cardinality constraints for arrays (decidability results and applications) ⋮ Sets with Cardinality Constraints in Satisfiability Modulo Theories ⋮ Counting Constraints in Flat Array Fragments

This page was built for publication: Collections, Cardinalities, and Relations