Pages that link to "Item:Q1978645"
From MaRDI portal
The following pages link to A characterization of alternating log time by ramified recurrence (Q1978645):
Displaying 7 items.
- Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits (Q276257) (← links)
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity (Q1295429) (← links)
- Algorithmically broad languages for polynomial time and space (Q2148807) (← links)
- A Characterization of NC k by First Order Functional Programs (Q3502640) (← links)
- Recursion Schemata for NC k (Q3540170) (← links)
- Taming Modal Impredicativity: Superlazy Reduction (Q3605525) (← links)
- (Q5089032) (← links)
