约尔迪·利维;马图·维拉雷特 在二阶统一中简化签名。 (英语) Zbl 1196.68113号 申请。代数工程通讯。计算。 20,编号5-6,427-445(2009). 审核人:Marco Gaboardi(博洛尼亚) MSC公司:2012年第68季度 03B15号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Villaret},应用。代数工程通讯。计算。20,编号5--6427--445(2009;Zbl 1196.68113) 全文: 内政部
达尔·齐利奥(Dal Zilio,Silvano);丹尼斯·卢吉兹 XML模式、树逻辑和滑轮自动机。 (英语) Zbl 1107.68048号 申请。代数工程通讯。计算。 17,第5期,337-377(2006).MSC公司:第68季度第45季度 68第05页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dal Zilio}和\textit{D.Lugiez},应用。代数工程通讯。计算。17,第5号,337--377(2006;Zbl 1107.68048) 全文: 内政部 哈尔
玛丽贝尔·费尔南德斯;伊恩·麦基;弗朗索瓦·雷吉斯·西诺 带有控制器字符串的Lambda-calculus。 (英语) Zbl 1101.68451号 申请。代数工程通讯。计算。 15,第6号,393-437(2005).MSC公司:68甲18 03B40型 2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}等人,应用。代数工程通讯。计算。15,第6号,393--437(2005;Zbl 1101.68451) 全文: 内政部