Denenberg, Larry; Gurevich, Yuri; Shelah, Saharon Definability by constant-depth polynomial-size circuits. (English) Zbl 0629.94023 Inf. Control 70, 216-240 (1986). Reviewer: A. Leitsch (Wien) MSC: 94C11 68Q25 03C40 03C52 03D15 PDFBibTeX XMLCite \textit{L. Denenberg} et al., Inf. Control 70, 216--240 (1986; Zbl 0629.94023) Full Text: DOI
Blass, Andreas; Gurevich, Yuri; Kozen, Dexter A zero-one law for logic with a fixed-point operator. (English) Zbl 0608.68077 Inf. Control 67, 70-90 (1985). MSC: 68P20 60F20 03C13 03B48 60B10 03C68 03D15 68Q25 PDFBibTeX XMLCite \textit{A. Blass} et al., Inf. Control 67, 70--90 (1985; Zbl 0608.68077) Full Text: DOI
Gurevich, Yuri; Lewis, Harry R. A logic for constant-depth circuits. (English) Zbl 0592.94023 Inf. Control 61, 65-74 (1984). MSC: 94C10 68W99 68Q25 68Q05 68Q65 03D60 03B10 PDFBibTeX XMLCite \textit{Y. Gurevich} and \textit{H. R. Lewis}, Inf. Control 61, 65--74 (1984; Zbl 0592.94023) Full Text: DOI
Gurevich, Yuri; Lewis, Harry R. The inference problem for template dependencies. (English) Zbl 0548.68095 Inf. Control 55, 69-79 (1982). MSC: 68P20 03D35 PDFBibTeX XMLCite \textit{Y. Gurevich} and \textit{H. R. Lewis}, Inf. Control 55, 69--79 (1982; Zbl 0548.68095) Full Text: DOI
Blass, Andreas; Gurevich, Yuri On the unique satisfiability problem. (English) Zbl 0543.03027 Inf. Control 55, 80-88 (1982). Reviewer: M.Chytil MSC: 03D15 68Q25 PDFBibTeX XMLCite \textit{A. Blass} and \textit{Y. Gurevich}, Inf. Control 55, 80--88 (1982; Zbl 0543.03027) Full Text: DOI