Pages that link to "Item:Q2013319"
From MaRDI portal
The following pages link to Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319):
Displaying 4 items.
- On computability and triviality of well groups (Q306506) (← links)
- Solving equations and optimization problems with uncertainty (Q1616393) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- Effective topological degree computation based on interval arithmetic (Q5179223) (← links)
