The following pages link to Array Folds Logic (Q4633555):
Displaying 7 items.
- NP satisfiability for arrays as powers (Q2152659) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- A solver for arrays with concatenation (Q6156632) (← links)
- On algebraic array theories (Q6192058) (← links)
- Automatic program instrumentation for automatic verification (Q6535688) (← links)
- Succinct ordering and aggregation constraints in algebraic array theories (Q6561348) (← links)
- Reasoning on data words over numeric domains (Q6649469) (← links)
