Browsing Workshops 2016 by MFO Series ID "OWR-2016-49"
Anzeige der Dokumente 1-1 von 1
-
1643 - Definability and Decidability Problems in Number Theory
[OWR-2016-49] (2016) - (23 Oct - 29 Oct 2016)This workshop brought together experts working on variations of Hilbert’s Tenth Problem and more general decidability issues for structures other than the ring of integers arising naturally in number theory and algebraic geometry.