文斯·巴拉尼;10个Cate,Balder;卢克·塞古芬 谨慎的否定。 (英语) Zbl 1333.68133号 J.ACM公司 62,第3号,第22条,第26页(2015年).MSC公司:65年第68季度 03B45号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Bárány}et al.,J.ACM 62,No.3,Article No.22,26 p.(2015;Zbl 1333.68133) 全文: DOI程序
斯特芬·Lösch;安德鲁·皮特斯(Andrew M.Pitts)。 具有标称Scott域的指称语义。 (英语) Zbl 1321.68202号 J.ACM公司 第61号第4条第27条第46页(2014年).MSC公司:68号30 68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Lösch}和\textit{A.M.Pitts},J.ACM 61,第4号,第27条,46页(2014;Zbl 1321.68202) 全文: DOI程序 链接
顺伊池天野之弥;克莱尔·大卫;利奥尼德·利金;菲利普·莫拉克 XML模式映射、数据交换和元数据管理。 (英语) Zbl 1295.68099号 J.ACM公司 61,第2号,第12条,48页(2014年).MSC公司:68第05页 第68页,共15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Amano}等人,J.ACM 61,第2号,第12条,48页(2014;Zbl 1295.68099) 全文: DOI程序