Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic

From MaRDI portal
Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic (scientific article from arXiv)
















This page was built for publication: Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic

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