Pages that link to "Item:Q4046035"
From MaRDI portal
The following pages link to A Decision Procedure for the First Order Theory of Real Addition with Order (Q4046035):
Displayed 20 items.
- Double-exponential inseparability of Robinson subsystem <i>Q</i><sub>+</sub> (Q3083130) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- (Q3384161) (← links)
- Classifying the computational complexity of problems (Q3781088) (← links)
- The theory of integer multiplication with order restricted to primes is decidable (Q4338318) (← links)
- First-Order Logic and Numeration Systems (Q4613547) (← links)
- Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
- (Q5002803) (← links)
- (Q5009704) (← links)
- (Q5094116) (← links)
- (Q5101338) (← links)
- Emptiness Problems for Integer Circuits (Q5111247) (← links)
- (Q5136330) (← links)
- An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms (Q5244858) (← links)
- Tropical semimodules of dimension two (Q5254696) (← links)
- Łukasiewicz Games (Q5277898) (← links)
- Max-Closed Semilinear Constraint Satisfaction (Q5740179) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
- Decidability of Definability Issues in the Theory of Real Addition (Q5880942) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)