scientific article; zbMATH DE number 3814977

zbMATH Open0515.68045MaRDI QIDQ3662621FDOQ3662621

Authors: Stasys Jukna 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

nondecreasing functionsNPbounded quantifiersquantifier prefix

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of proofs (03F20) Complexity of computation (including implicit computational complexity) (03D15)

Cited In (2)

• Uniform normal form for general time-bounded complexity classes
• \(\text{NP}\not={co}\)-NP and models of arithmetic

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 Q3662621)