Contejean, Evelyne A partial solution for \(D\)-unification based on a reduction to AC1-unification. (English) Zbl 1422.03016 Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 621-632 (1993). MSC: 03B25 03B35 PDFBibTeX XMLCite \textit{E. Contejean}, Lect. Notes Comput. Sci. 700, 621--632 (1993; Zbl 1422.03016) Full Text: DOI
Burke, E. K. The undecidability of the unification problem for nilpotent groups of class \(\geq 5\). (English) Zbl 0806.20029 J. Lond. Math. Soc., II. Ser. 48, No. 1, 52-58 (1993). Reviewer: O.V.Belegradek (Kemerovo) MSC: 20F10 20F18 03D35 03D40 PDFBibTeX XMLCite \textit{E. K. Burke}, J. Lond. Math. Soc., II. Ser. 48, No. 1, 52--58 (1993; Zbl 0806.20029) Full Text: DOI
Matiyasevich, Yuri V. Hilbert’s tenth problem. With a foreword by Martin Davis. (English) Zbl 0790.03008 MIT Press Series in the Foundations of Computing. Cambridge, MA: MIT Press. xxii, 264 p. $ 60.75 /hc (1993). MSC: 03B25 11U05 11-02 03-02 12L05 11D99 PDFBibTeX XMLCite \textit{Y. V. Matiyasevich}, Hilbert's tenth problem. With a foreword by Martin Davis. Cambridge, MA: MIT Press (1993; Zbl 0790.03008)
Sun, Zhiwei Jones’ work on Hilbert’s Tenth Problem and related topics dedicated to Prof. Jones for his visit in China. (Chinese. English summary) Zbl 0791.03005 Adv. Math., Beijing 22, No. 4, 312-331 (1993). MSC: 03B25 11U05 PDFBibTeX XMLCite \textit{Z. Sun}, Adv. Math., Beijing 22, No. 4, 312--331 (1993; Zbl 0791.03005)
Matiyasevich, Yu. V. Hilbert’s tenth problem. (Desyataya problema Gil’berta.) (Russian) Zbl 0790.03009 Matematicheskaya Logika i Osnovaniya Matematiki. 26. Moskva: Nauka. 224 p. (1993). Reviewer: A.A.Mullin (Huntsville) MSC: 03B25 03-02 11-02 11U05 11D99 12L05 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Desyataya problema Gil'berta (Russian). Moskva: Nauka (1993; Zbl 0790.03009)
Kim, K. H.; Roush, F. W. Undecidability of parametric solutions of polynomial equations. (English) Zbl 0779.12004 Proc. Am. Math. Soc. 118, No. 2, 345-348 (1993). Reviewer: T.Pheidas (Iraklion) MSC: 12L05 11U05 03B25 PDFBibTeX XMLCite \textit{K. H. Kim} and \textit{F. W. Roush}, Proc. Am. Math. Soc. 118, No. 2, 345--348 (1993; Zbl 0779.12004) Full Text: DOI
Shlapentokh, Alexandra Diophantine relations between rings of \(S\)-integers of fields of algebraic functions in one variable over constant fields of positive characteristic. (English) Zbl 0773.11076 J. Symb. Log. 58, No. 1, 158-192 (1993). Reviewer: T.Pheidas (Iraklion) MSC: 11U05 11U09 03B25 03C60 PDFBibTeX XMLCite \textit{A. Shlapentokh}, J. Symb. Log. 58, No. 1, 158--192 (1993; Zbl 0773.11076) Full Text: DOI
Baxa, Christoph A note on diophantine representations. (English) Zbl 0805.11085 Am. Math. Mon. 100, No. 2, 138-143 (1993). Reviewer: T.Pheidas (Iraklion) MSC: 11U05 11D99 03B25 PDFBibTeX XMLCite \textit{C. Baxa}, Am. Math. Mon. 100, No. 2, 138--143 (1993; Zbl 0805.11085) Full Text: DOI