Pages that link to "Item:Q5073520"
From MaRDI portal
The following pages link to Short Presburger Arithmetic Is Hard (Q5073520):
Displaying 4 items.
- COMPLEXITY OF SHORT GENERATING FUNCTIONS (Q3119462) (← links)
- Reachability in fixed VASS: expressiveness and lower bounds (Q6629526) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)
- Geometric decision procedures and the VC dimension of linear arithmetic theories (Q6649496) (← links)
