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 10 items.
- Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits (Q276257) (← links)
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity (Q1295429) (← links)
- Invariance properties of RAMs and linear time (Q1327595) (← 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)
- A Characterization of Alternating Log Time by First Order Functional Programs (Q5387886) (← links)