scientific article
From MaRDI portal
Publication:4035305
zbMath0776.03028MaRDI QIDQ4035305
Alasdair Urquhart, Stephen A. Cook
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Metamathematics of constructive systems (03F50) Combinatory logic and lambda calculus (03B40)
Related Items (5)
Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals ⋮ Elementary realizability ⋮ Structural properties for feasibly computable classes of type two ⋮ Bounded arithmetic for NC, ALogTIME, L and NL ⋮ Bounded linear logic: A modular approach to polynomial-time computability
This page was built for publication:
