Alpunte,M。;M.科米尼。;埃斯科瓦尔,S。;Falaschi,M。;J·伊波拉。 术语重写系统的紧凑不动点语义。 (英语) Zbl 1209.68285号 西奥。计算。科学。 411,第37号,3348-3371(2010).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。411,第37号,3348--3371(2010;Zbl 1209.68285) 全文: 内政部
玛丽亚·阿尔普特;莫雷诺法拉斯基;莫雷诺,吉纳斯;德国维达尔 转换惰性函数逻辑程序的规则+策略。 (英语) Zbl 1070.68018号 西奥。计算。科学。 311,编号1-3479-525(2004).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。311,编号1--3479-525(2004;Zbl 1070.68018) 全文: 内政部
玛丽亚·阿尔普特;莫雷诺,法拉斯基;德国维达尔 用于分析等式Horn程序的合成语义基础。 (英语) Zbl 0872.68107号 西奥。计算。科学。 165,第1期,133-169(1996).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。165,编号1,133--169(1996;Zbl 0872.68107) 全文: 内政部
玛丽亚·阿尔普特;莫雷诺,法拉斯基;李维,乔治 等式逻辑编程的增量约束满足。 (英语) Zbl 0884.68032号 西奥。计算。科学。 142,第1期,第27-57页(1995年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Theor。计算。科学。142,编号1,27-57(1995;Zbl 0884.68032) 全文: 内政部