Hilbert's Tenth Problem is of Unification Type Zero

Authors
Citation
M.franzen, Hilbert's Tenth Problem is of Unification Type Zero, Journal of automated reasoning , 9(2), 1992, pp. 169-178
ISSN journal
01687433
Volume
9
Issue
2
Year of publication
1992
Pages
169 - 178
Database
ACNP
SICI code