德尼古拉,罗科;Vaandrager,Frits公司 分支共刺激的三种逻辑。 (英语) Zbl 0886.68064号 J.协会计算。机器。 42,第2期,458-487(1995).MSC公司:2005年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}和\textit{F.Vaandrager},J.协会计算。机器。42,第2号,458--487(1995;Zbl 0886.68064) 全文: DOI程序 链接
Phokion G.科莱蒂斯。;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 界限的一些计算方面。 (英语) Zbl 0697.68085号 J.协会计算。机器。 37,第1期,1-14页(1990年).MSC公司:68吨15 03天35分 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{C.H.Papadimitriou},J.协会计算。机器。37,编号1,1-14(1990;Zbl 0697.68085) 全文: DOI程序
尼古拉斯·皮彭格;迈克尔·菲舍尔。 复杂性度量之间的关系。 (英语) Zbl 0405.68041号 J.协会计算。机器。 26, 361-381 (1979).MSC公司:65年第68季度 94立方厘米 2005年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{N.Pippenger}和\textit{M.J.Fischer},J.协会计算。机器。26、361--381(1979年;Zbl 0405.68041) 全文: DOI程序
曼纽尔·布卢姆 递归函数复杂性的机器相关理论。 (英语) Zbl 0155.01503号 J.协会计算。机器。 14, 322-336 (1967). 审核人:W.Oberschelp公司 MSC公司:03D20日 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Blum},J.协会计算。机器。14、322--336(1967;Zbl 0155.01503) 全文: DOI程序