Pages that link to "Item:Q2638772"
From MaRDI portal
The following pages link to An algebra and a logic for \(NC^ 1\) (Q2638772):
Displaying 7 items.
- Arithmetizing uniform \(NC\) (Q1176198) (← links)
- Function-algebraic characterizations of log and polylog parallel time (Q1332666) (← links)
- A characterization of alternating log time by ramified recurrence (Q1978645) (← links)
- A logical characterization of constant-depth circuits over the reals (Q2148775) (← links)
- Tailoring recursion for complexity (Q4632420) (← links)
- Tailoring recursion for complexity (Q4858828) (← links)
- Algebraic and logical characterizations of deterministic linear time classes (Q5048946) (← links)
