Blass, Andreas; Gurevich, Yuri; Kreinovich, Vladik; Longpré, Luc A variation on the zero-one law. (English) Zbl 1339.68108 Inf. Process. Lett. 67, No. 1, 29-30 (1998). MSC: 68Q19 03D15 PDFBibTeX XMLCite \textit{A. Blass} et al., Inf. Process. Lett. 67, No. 1, 29--30 (1998; Zbl 1339.68108) Full Text: DOI Link
Blass, Andreas; Gurevich, Yuri On matijasevitch’s nontraditional approach to search problems. (English) Zbl 0685.68041 Inf. Process. Lett. 32, No. 1, 41-45 (1989). MSC: 68Q25 68P10 PDFBibTeX XMLCite \textit{A. Blass} and \textit{Y. Gurevich}, Inf. Process. Lett. 32, No. 1, 41--45 (1989; Zbl 0685.68041) Full Text: DOI Link