奥纳州Agrigoroaiei;加布里埃尔·乔巴努 膜系统中的反向计算。 (英语) Zbl 1208.68121号 J.日志。阿尔盖布。程序。 79,编号3-5,278-288(2010).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Agrigoroaiei}和\textit{G.Ciobanu},J.Log。阿尔盖布。程序。79,编号3--5,278--288(2010;Zbl 1208.68121) 全文: DOI程序
弗洛伦特·基什内尔;塞萨尔·穆尼奥斯 证明单子。 (英语) Zbl 1208.68144号 J.日志。阿尔盖布。程序。 79,No.3-5,264-277(2010).MSC公司:68问题55 18立方厘米 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Kirchner}和\textit{C.Muñoz},J.Log。阿尔盖布。程序。79,编号3--5,264--277(2010;Zbl 1208.68144) 全文: DOI程序
黄晓伟;焦、李;陆伟明 应测试预订单的预订单格式。 (英语) Zbl 1208.68108号 J.日志。阿尔盖布。程序。 79,编号3-5245-263(2010).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人,J.Log。阿尔盖布。程序。79,编号3--5,245--263(2010;Zbl 1208.68108) 全文: DOI程序
阿扬·J·穆伊(Arjan J.Mooij)。;克里斯蒂安·斯塔尔;马克·沃霍夫 与公平测试和服务可替代性相关。 (英语) Zbl 1208.68087号 J.日志。阿尔盖布。程序。 79,编号3-5,233-244(2010).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Mooij}等人,J.Log。阿尔盖布。程序。79,编号3--5,233--244(2010;Zbl 1208.68087) 全文: DOI程序
巴纳赫,R。;杰斯克,C。 更强的裁员成分。 (英语) Zbl 1209.68131号 J.日志。阿尔盖布。程序。 79,No.3-5,215-232(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},J.Log。阿尔盖布。程序。79,编号3--5,215--232(2010;Zbl 1209.68131) 全文: DOI程序