爱德华·罗伯逊。;劳伦斯五世·萨克斯顿。;德克·范·古赫特;斯迪恩·范萨梅伦 结构递归作为列表和有序树上的查询语言。 (英语) Zbl 1192.68219号 理论计算。系统。 44,第4号,590-619(2009).MSC公司:第68页,共15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Robertson}等人,理论计算。系统。44,第4号,590--619(2009;Zbl 1192.68219) 全文: 内政部
马丁·霍夫曼 具有更高类型和BCK-代数的安全递归。 (英语) 兹比尔0959.68075 Ann.纯粹应用。逻辑 104,编号1-3,113-166(2000).MSC公司:68问题55 2015年3月1日 03D65年 68甲18 35楼06号 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼},安。纯应用。逻辑104,No.1--3113--166(2000;Zbl 0959.68075) 全文: 内政部