Pages that link to "Item:Q5946058"
From MaRDI portal
The following pages link to The descriptive complexity approach to LOGCFL (Q5946058):
Displaying 10 items.
- The arithmetic complexity of tensor contraction (Q290898) (← links)
- First-order logics: some characterizations and closure properties (Q715044) (← links)
- Generalized quantifier and a bounded arithmetic theory for LOGCFL (Q884960) (← links)
- The many faces of a translation (Q2581761) (← links)
- A Language-Theoretical Approach to Descriptive Complexity (Q2817376) (← links)
- A Circuit Complexity Approach to Transductions (Q2946331) (← links)
- On Second-Order Monadic Groupoidal Quantifiers (Q3511462) (← links)
- Extensional Uniformity for Boolean Circuits (Q3540171) (← links)
- Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (Q3618574) (← links)
- (Q4453869) (← links)
