Collections, Cardinalities, and Relations

DOI10.1007/978-3-642-11319-2_27MaRDI QIDQ3656897zbMATH OpenOpenAlexFDO

Authors Kuat Yessenov, Ružica Piskač, 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)

Recommendations

• Cardinality of relations with applications
• scientific article; zbMATH DE number 3871209
• On the Cardinality of Relations
• Cardinality, counting, and equinumerosity
• Sets, classes, and categories
• Relations on Sets
• scientific article; zbMATH DE number 495470
• Collections, sets and types
• scientific article; zbMATH DE number 3842714
• scientific article; zbMATH DE number 1418431

Cited in

(11)

• Cardinality constraints for arrays (decidability results and applications)
• Counting constraints in flat array fragments
• Decision procedures for region logic
• Sets with cardinality constraints in satisfiability modulo theories
• Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
• Decision Procedures for Multisets with Cardinality Constraints
• On the Cardinality of Relations
• MUNCH -- automated reasoner for sets and multisets
• Cardinality of relations and relational approximation algorithms
• On the complexity of convex and reverse convex prequadratic constraints
• Integrating cardinality constraints into constraint logic programming with sets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656897)