斯特凡·卡尔斯 无限重写:闭包操作符、等价物和模型。 (英语) Zbl 1294.68098号 学报信息。 50,第2期,123-156(2013). 审核人:马格努斯·斯坦比(图尔库) MSC公司:2012年第68季度 54E35个 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs},Acta Inf.50,No.2,123--156(2013;Zbl 1294.68098) 全文: 内政部
卡尔·梅恩克 本原递归的递归二阶初始代数规范。 (英语) Zbl 0818.68113号 学报信息。 31,第4号,329-340(1994). 审核人:K.Meinke公司 MSC公司:68问题65 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meinke},《学报信息》31,第4期,329--340(1994;Zbl 0818.68113) 全文: 内政部
钱振宇 具有子类型的高阶类型的代数语义。 (英语) Zbl 0790.68079号 学报信息。 30,第6号,569-607(1993).MSC公司:68问题65 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian},《学报》第30期,第6期,第569-607页(1993;Zbl 0790.68079) 全文: 内政部
Jos C.M.Baeten。;Vaandrager,Frits W。 进程创建的代数。 (英语) Zbl 0760.68045号 学报信息。 29,第4期,303-334(1992).MSC公司:68问题55 第68季度10 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{F.W.Vaandrager},《学报》第29卷第4期,第303--334页(1992年;Zbl 0760.68045) 全文: 内政部
坎宁安,R.J。;迪克,A.J.J。 重写类型格上的系统。 (英语) 兹比尔0575.68043 学报信息。 22, 149-169 (1985).MSC公司:68问题65 08A55号 68第05页 03C05号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Cunningham}和\textit{A.J.Dick},《学报》第22期,第149-169页(1985年;Zbl 0575.68043) 全文: 内政部
沃尔夫冈·梅泽尼奇 树上的二元运算和有限树类型的初始代数特征。 (英语) Zbl 0379.02016 学报信息。 11, 149-168 (1979).MSC公司:03B99号 05二氧化碳 03D60年 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Merzenich},《信息学报》11,149--168(1979;Zbl 0379.02016) 全文: 内政部
V·斯特拉森。 Berechnung和程序。一、。 (德语) Zbl 0252.68018号 学报信息。 1, 320-335 (1972).MSC公司:65年第68季度 08轴 PDF格式BibTeX公司 XML格式引用 \textit{V.Strassen},Acta Inf.1320--335(1972;Zbl 0252.68018) 全文: 内政部