Pages that link to "Item:Q3656897"
From MaRDI portal
The following pages link to Collections, Cardinalities, and Relations (Q3656897):
Displaying 4 items.
- Cardinality constraints for arrays (decidability results and applications) (Q1688541) (← links)
- Counting Constraints in Flat Array Fragments (Q2817911) (← links)
- Decision Procedures for Region Logic (Q2891431) (← links)
- Sets with Cardinality Constraints in Satisfiability Modulo Theories (Q3075499) (← links)
