scientific article
From MaRDI portal
Publication:3964542
zbMath0499.03021MaRDI QIDQ3964542
A. J. Wilkie, Jeffrey Bruce Paris
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity of computation (including implicit computational complexity) (03D15) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items (2)
On the scheme of induction for bounded arithmetic formulas ⋮ The role of rudimentary relations in complexity theory
This page was built for publication:
