Pages that link to "Item:Q1426156"
From MaRDI portal
The following pages link to Counting the solutions of Presburger equations without enumerating them. (Q1426156):
Displaying 7 items.
- Solving the Caesar problem without categorical sortals (Q735346) (← links)
- 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)
- The convex hull of a regular set of integer vectors is polyhedral and effectively computable (Q1044697) (← links)
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (Q3618581) (← links)
- Compiler Construction (Q5308733) (← links)
- Computer Aided Verification (Q5312913) (← links)