The following pages link to Elena Pagani (Q2031421):
Displaying 8 items.
- (Q1688540) (redirect page) (← links)
- Cardinality constraints for arrays (decidability results and applications) (Q1688541) (← links)
- Higher-order quantifier elimination, counter simulations and fault-tolerant systems (Q2031422) (← links)
- (Q2777143) (← links)
- (Q2786907) (← links)
- Counting Constraints in Flat Array Fragments (Q2817911) (← links)
- (Q3045226) (← links)
- (Q4413177) (← links)
