The following pages link to Rafael Grimson (Q980941):
Displaying 10 items.
- (Q694565) (redirect page) (← links)
- Evaluating geometric queries using few arithmetic operations (Q694567) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Some lower bounds for the complexity of the linear programming feasibility problem over the reals (Q998976) (← links)
- Efficient evaluation of specific queries in constraint databases (Q1944172) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- On the Expressive Power of IF-Logic with Classical Negation (Q3003355) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- On the Formal Semantics of IF-Like Logics (Q3511456) (← links)
- SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE (Q5499648) (← links)
