scientific article; zbMATH DE number 806755
From MaRDI portal
Publication:4850556
zbMath0836.03024MaRDI QIDQ4850556
Publication date: 2 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Turing machines and related notions (03D10) Higher-type and set recursion theory (03D65)
Related Items (6)
Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals ⋮ Game semantics approach to higher-order complexity ⋮ Computation models and function algebras ⋮ Type 2 polynomial hierarchies ⋮ A note on complexity measures for inductive classes in constructive type theory ⋮ Characterizing polynomial time complexity of stream programs using interpretations
This page was built for publication:
