Pages that link to "Item:Q1208406"
From MaRDI portal
The following pages link to Extensions to Barrington's M-program model (Q1208406):
Displayed 8 items.
- Generalized quantifier and a bounded arithmetic theory for LOGCFL (Q884960) (← links)
- Languages recognized by finite aperiodic groupoids (Q1274931) (← links)
- Nondeterministic \(NC^1\) computation (Q1276170) (← links)
- Functions with bounded symmetric communication complexity, programs over commutative monoids, and ACC (Q1317485) (← links)
- McNaughton families of languages. (Q1401181) (← links)
- Circuits and expressions with nonassociative gates (Q1567406) (← links)
- On Second-Order Monadic Groupoidal Quantifiers (Q3511462) (← links)
- The descriptive complexity approach to LOGCFL (Q5946058) (← links)