The following pages link to (Q4234078):
Displaying 14 items.
- Dynamical recognizers: real-time language recognition by analog computers (Q1129007) (← links)
- A survey on real structural complexity theory (Q1280231) (← links)
- Metafinite model theory (Q1383163) (← links)
- Queries with arithmetical constraints (Q1391932) (← links)
- Real computations with fake numbers (Q1599196) (← links)
- A logical characterization of constant-depth circuits over the reals (Q2148775) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- Periodic generalized automata over the reals (Q2280333) (← links)
- Implicit complexity over an arbitrary structure: Quantifier alternations (Q2490113) (← links)
- Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH (Q4916232) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- Semiring reasoning frameworks in AI and their computational complexity (Q6488781) (← links)
- Logical characterizations of algebraic circuit classes over integral domains (Q6620024) (← links)
