斯蒂芬·布鲁克斯 并行算法的本质。 (英语) Zbl 1053.68025号 Inf.计算。 179,第1期,118-149(2002).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes},信息计算。179,第1号,118--149(2002;Zbl 1053.68025) 全文: DOI程序
菲奥雷,M.P。;莫吉,E。;桑吉奥吉,D。 (pi)演算的完全抽象模型。 (英语) Zbl 1053.68066号 Inf.计算。 179,第1期,76-117(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人,《信息计算》。179,编号1,76--117(2002;Zbl 1053.68066) 全文: DOI程序
伊利亚诺·塞维萨托;弗兰克,普芬宁 线性逻辑框架。 (英语) Zbl 1031.03056号 Inf.计算。 179,第1期,19-75页(2002年).MSC公司:03B70号 68号30 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{F.Pfenning},Inf.Compute。179,编号1,19-75(2002年;兹bl 1031.03056) 全文: DOI程序
Jerzy Tiuryn;乌日琴,Paweł 二阶类型的子类型问题是不可判定的。 (英语) Zbl 1049.68039号 Inf.计算。 179,第1期,1-18页(2002年).MSC公司:68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Tiuryn}和\textit{P.Urzyczyn},信息计算。179,编号1,1--18(2002;Zbl 1049.68039) 全文: DOI程序 链接