巴特·雅各布斯;亚历山德拉·席尔瓦;安娜·索科洛娃 通过确定来跟踪语义。 (英语) Zbl 1327.68158号 J.计算。系统。科学。 第5号第81页,859-879页(2015年).MSC公司:68问题55 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}等人,《计算杂志》。系统。科学。81,第5号,859--879(2015;Zbl 1327.68158) 全文: 内政部 哈尔
克劳斯顿,拉纳德 名义Lawvere理论:对带有名字的等式理论的范畴理论解释。 (英语) Zbl 1304.68030号 J.计算。系统。科学。 80,第6期,1067-1086(2014).MSC公司:68号30 03B70号 18立方厘米10 18 C50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Clouston},J.计算。系统。科学。80,第6号,1067--1086(2014;Zbl 1304.68030) 全文: 内政部
利奥尼德·利金;黄利松 行李和聚合函数的查询语言。 (英语) Zbl 0887.68022号 J.计算。系统。科学。 55,第241-272号(1997年).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Libkin}和\textit{L.Wong},J.Compute。系统。科学。55,No.2,241--272(1997;Zbl 0887.68022) 全文: 内政部 链接