Pages that link to "Item:Q5277800"
From MaRDI portal
The following pages link to Bounds on the automata size for Presburger arithmetic (Q5277800):
Displayed 4 items.
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic (Q478379) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- Structural Presburger digit vector automata (Q2378536) (← links)
- On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772) (← links)