scientific article; zbMATH DE number 3815629
From MaRDI portal
Publication:3663285
zbMATH Open0516.03034MaRDI QIDQ3663285FDOQ3663285
Authors: Stasys Jukna 
Publication date: 1982
Title of this publication is not available (Why is that?)
arithmetical complexitybounded quantifiersnondecreasing functionfirst-order formulasdensity arguments
Complexity of proofs (03F20) Complexity of computation (including implicit computational complexity) (03D15)
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 Q3663285)
