scientific article; zbMATH DE number 7317230

MaRDI QIDQ4964698zbMATH OpenFDO

Authors Reinhard Kahle, Isabel Oitavem

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1101.5444, http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC10.6

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Hierarchies of computability and definability (03D55) First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cited in

(1)

• Remarks on applicative theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964698)