scientific article; zbMATH DE number 3377222
From MaRDI portal
Publication:5648353
zbMath0238.02037MaRDI QIDQ5648353
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Applications of computability and recursion theory (03D80)
Related Items
Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids ⋮ Existence of noneffectivizable estimates in the theory of exponential Diophantine equations ⋮ Some diophantine forms of gödel's theorem