Pages that link to "Item:Q1426156"
From MaRDI portal
The following pages link to Counting the solutions of Presburger equations without enumerating them. (Q1426156):
Displayed 4 items.
- A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (Q3618581) (← links)
- Universal first-order quantification over automata (Q6199866) (← links)