Pages that link to "Item:Q5452719"
From MaRDI portal
The following pages link to Decision Procedures for Multisets with Cardinality Constraints (Q5452719):
Displaying 10 items.
- Cardinality constraints for arrays (decidability results and applications) (Q1688541) (← links)
- Counting Constraints in Flat Array Fragments (Q2817911) (← links)
- Decision Procedures for Automating Termination Proofs (Q3075496) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars (Q3540175) (← links)
- Combining Theories with Shared Set Operations (Q3655212) (← links)
- (Q4553283) (← links)
- Certified Reasoning with Infinity (Q5206958) (← links)
- MUNCH - Automated Reasoner for Sets and Multisets (Q5747757) (← links)
