scientific article; zbMATH DE number 5310165
From MaRDI portal
Publication:3517364
zbMATH Open1277.03005MaRDI QIDQ3517364FDOQ3517364
Authors: Gunther Cornelissen
Publication date: 12 August 2008
Full work available at URL: http://www.math.leidenuniv.nl/~naw/serie5/deel07/mrt2006/pdf/cornelissen.pdf
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Decidability (number-theoretic aspects) (11U05) Diophantine equations (11Dxx)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3517364)