"Zapiski Nauchnyh Seminarov POMI"

VOL. 241
  • This issue is entitled "Studies in Constructive Mathematics and Mathematical Logic. Part X"
  • editors E. Ya. Dantsin and V. P. Orevkov

  • This volume contains articles on complexity of algorithms and complexity of proofs. Themes of papers concern diophantine representations for sets, probabilistic verifications of proofs and upper bounds for problem of satisfiability.