scientific article; zbMATH DE number 2032311

zbMath1041.68046MaRDI QIDQ4446133

Anatoly V. Lakeyev

Publication date: 26 January 2004

Full work available at URL: http://www-sbras.nsc.ru/win/mathpub/comp-tech/scripts/user/db_view_abs.phtml?ar_ind=408&lang=eng

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quantifiercontrollable solutioneasy computable function

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Interval and finite arithmetic (65G30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)