scientific article
From MaRDI portal
Publication:3751575
zbMath0611.03027MaRDI QIDQ3751575
No author found.
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (5)
Further results on Hilbert's tenth problem ⋮ Max-min of polynomials and exponential Diophantine equations ⋮ Max-min of polynomials and exponential Diophantine equations. II. ⋮ Sentences over integral domains and their computational complexities ⋮ Approximate solutions of polynomial equations.
This page was built for publication:
