Celebratio Mathematica

Julia Robinson

Julia, A Life in Mathematics: Review

Works connected to Martin David Davis

Filter the Bibliography List

clear

M. Dav­is, H. Put­nam, and J. Robin­son: “The de­cision prob­lem for ex­po­nen­tial di­o­phant­ine equa­tions,” Ann. Math. (2) 74 : 3 (November 1961), pp. 425–​436. MR 133227 Zbl 0111.​01003 article