The Büchi sequences and Hilbert’s Tenth Problem
From MaRDI portal
Publication:3187182
DOI10.4064/BC108-0-2zbMATH Open1377.11124OpenAlexW2501612519MaRDI QIDQ3187182
Publication date: 2 September 2016
Published in: Banach Center Publications (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/173314a2f2fb5f3a80fc1fce59159d89919752a5
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Special sequences and polynomials (11B83)
Related Items (1)
This page was built for publication: The Büchi sequences and Hilbert’s Tenth Problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3187182)