scientific article; zbMATH DE number 939418
From MaRDI portal
Publication:4897352
zbMath0855.01047MaRDI QIDQ4897352
Publication date: 29 October 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)
Related Items (8)
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ The quest for Diophantine finite-fold-ness ⋮ Northcott numbers for the house and the Weil height ⋮ Julia Robinson numbers and arithmetical dynamic of quadratic polynomials ⋮ Martin Davis and Hilbert’s Tenth Problem ⋮ Martin Davis’s Bibliography 1950–2015 ⋮ Unnamed Item ⋮ What can and cannot be done with Diophantine problems
This page was built for publication:
