Pages that link to "Item:Q1590662"
From MaRDI portal
The following pages link to The \(\mu\)-measure as a tool for classifying computational complexity (Q1590662):
Displaying 7 items.
- Implicit characterizations of FPTIME and NC revisited (Q1044672) (← links)
- A note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- Control structures in programs and computational complexity (Q1772780) (← links)
- Separating NC along the \(\delta\) axis (Q1827390) (← links)
- On the computational complexity of imperative programming languages (Q1827396) (← links)
- Towards the computational complexity of \(\mathcal{PR}^ \omega\)-terms (Q1899150) (← links)
- The Garland Measure and Computational Complexity of Stack Programs (Q4916233) (← links)