尼古拉斯·阿舍 选择性限制、类型和类别。 (英语) Zbl 1335.03028号 J.应用。日志。 12,第1期,75-87(2014).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{N.Asher},J.Appl(新闻稿)。日志。12,第1号,75--87(2014;Zbl 1335.03028) 全文: 内政部
玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 将正则表达式匹配转换为转换器。 (英语) Zbl 1238.68052号 J.应用。日志。 10,第1期,32-51(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sakuma}等人,J.Appl。日志。10,第1号,32-51(2012年;兹bl 1238.68052) 全文: 内政部
弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 高阶统一:休特方法和基于显式替换的方法之间的结构关系。 (英语) Zbl 1138.03014号 J.应用。日志。 6,第1期,72-108(2008).MSC公司:03B40型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.L.C.de Moura}等人,J.Appl。日志。6、编号1、72--108(2008;Zbl 1138.03014) 全文: 内政部
默多克·J·加贝。 新鲜逻辑:FM和标称技术的证明理论和语义。 (英语) Zbl 1124.03010号 J.应用。日志。 5,第2期,356-387(2007). 审核人:Reinhard Kahle(科英布拉) MSC公司:03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Appl.(《应用杂志》)。日志。5,编号2,356--387(2007;Zbl 1124.03010) 全文: 内政部