尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 应用程序逻辑。第2版。 (英语) Zbl 0874.03004号 计算机科学研究生课程纽约州纽约市:施普林格。xiii,456页(1997年)。 审核人:A.M.Coyne(阿什维尔) MSC公司:03-01 03B10号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{R.A.Shore},应用程序逻辑。第二版,纽约州纽约市:施普林格(1997;Zbl 0874.03004)
尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 应用程序逻辑。 (英语) Zbl 0842.03003号 计算机科学的文本和专著。纽约:施普林格出版社。十七、365页(1993年)。 审核人:A.M.Coyne(阿什维尔) MSC公司:03-01 03B10号机组 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{R.A.Shore},应用程序逻辑。纽约:Springer-Verlag(1993;Zbl 0842.03003)
莫里·罗森布拉特(编辑) [Bishop,E。;Warschawski,S。;J·沃默。;J.凯利。;罗伊登,H。;Glicksberg,I。;A.内罗德。;梅塔基德斯,G。;康斯特布尔(R.Constable)。;罗德岛肖尔。] 埃雷特·毕晓普:对他和他的研究的反思。(1983年9月24日在圣地亚哥加利福尼亚大学举行的埃雷特主教纪念会议记录)。 (英语) Zbl 0579.01015号 当代数学, 39. 普罗维登斯:美国数学学会(AMS)。十七、 91页16.00美元(1985年)。 审核人:B.van Rootselaar公司 MSC公司:01A70号 03-03 03-06 00B25型 PDF格式BibTeX公司 XML格式 全文: 内政部
尼禄,阿尼尔(编辑);理查德·肖尔(Richard A.Shore)。(编辑) 递归理论。(1982年6月28日至7月16日在纽约伊萨卡康奈尔大学举行的AMS-ASL递归理论夏季研究所会议录)。 (英语) Zbl 0556.00008号 纯数学专题讨论会论文集, 42. 普罗维登斯:美国数学学会(AMS)。VII、 528页60.00美元(1985年)。MSC公司:00B25型 03-06 PDF格式BibTeX公司 XML格式
尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 可约性排序:理论、可定义性和自同构。 (英语) Zbl 0494.03028号 安。数学。逻辑 18, 61-89 (1980).MSC公司:03日30分 03D25号 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{R.A.Shore},安.数学。逻辑18,61--89(1980;Zbl 0494.03028) 全文: 内政部
尼禄,阿尼尔;理查德·肖尔(Richard A.Shore)。 可约序的二阶逻辑和一阶理论。 (英语) Zbl 0465.03024号 克莱恩交响乐团。,程序。,麦迪逊/威斯康星州,1978年,《发现逻辑研究》。数学。,第101卷,181-200(1980)。MSC公司:03日30分 03B15号机组 PDF格式BibTeX公司 XML格式