让·武伊勒明 统一看待数据结构。 (英语) Zbl 0434.68047号 Commun公司。ACM公司 23, 229-239 (1980).MSC公司:68兰特 68卢比99 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vuillemin},Commun公司。ACM 23、229--239(1980;Zbl 0434.68047) 全文: DOI程序
让·武伊勒明 用于操作优先级队列的数据结构。 (英语) 兹伯利0371.68011 Commun公司。ACM公司 21309-315(1978年).MSC公司:68号01 68瓦99 65年第68季度 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{J.Vuillemin},Commun公司。ACM 21、309--315(1978;Zbl 0371.68011) 全文: DOI程序
佐哈尔·曼纳;斯蒂芬·奈斯;让·武伊勒明 证明程序属性的归纳方法。 (英语) Zbl 0278.68019号 Commun公司。ACM公司 16491-502(1973年).MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}等人,Commun。ACM 16,491--502(1973;Zbl 0278.68019) 全文: DOI程序
佐哈尔·曼纳;让·武伊勒明 计算理论的不动点方法。 (英语) Zbl 0245.68011号 Commun公司。ACM公司 15, 528-536 (1972).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{J.Vuillemin},Commun。ACM 15,528--536(1972;Zbl 0245.68011) 全文: DOI程序