The following pages link to (Q4395562):
Displaying 14 items.
- Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
- Finite concrete logics: their structure and measures on them (Q1266012) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Arity and alternation in second-order logic (Q1919768) (← links)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings (Q2576952) (← links)
- On the system CL12 of computability logic (Q2941766) (← links)
- Finite Quantification in Hierarchic Theorem Proving (Q3192187) (← links)
- (Q3338210) (← links)
- (Q3794168) (← links)
- (Q4029601) (← links)
- Computational Semantics for Monadic Quantifiers (Q4236059) (← links)
- On the convergence of query-bounded computations and logical closure properties of c.e. sets (Q4328820) (← links)
- (Q4459084) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)