Pages that link to "Item:Q1173404"
From MaRDI portal
The following pages link to Upper and lower bounds for first order expressibility (Q1173404):
Displayed 12 items.
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (Q5044763) (← links)
- On asymptotic probabilities in logics that capture DSPACE(log n) in presence of ordering (Q5044764) (← links)
- (Q5091278) (← links)
- A fine-grained analogue of schaefer's Theorem in P: dichotomy of ∃k∀-quantified first-order graph properties (Q5091783) (← links)
- Infinitary logic for computer science (Q5204339) (← links)
- The axiom of elementary sets on the edge of Peircean expressibility (Q5718697) (← links)
- GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC (Q5880428) (← links)
- Metafinite model theory (Q6064289) (← links)
- A restricted second order logic for finite structures (Q6064291) (← links)
- Preservation theorems in finite model theory (Q6064296) (← links)
- Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas (Q6116360) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)