Pages that link to "Item:Q753494"
From MaRDI portal
The following pages link to The complexity of almost linear diophantine problems (Q753494):
Displaying 7 items.
- Quantifier elimination for the reals with a predicate for the powers of two (Q868941) (← links)
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- Presburger liveness verification of discrete timed automata. (Q1874402) (← links)
- A complete and terminating approach to linear integer solving (Q2307624) (← links)
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity (Q3644100) (← links)
