斯特凡·卡尔斯 无限重写:闭包操作符、等价物和模型。 (英语) Zbl 1294.68098号 学报信息。 50,第2期,123-156(2013). 审核人:马格努斯·斯坦比(图尔库) MSC公司:第68季度第42季度 54E35个 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs},Acta Inf.50,No.2,123--156(2013;Zbl 1294.68098) 全文: 内政部
霍萨姆·马哈茂德;大井筑地 带限制扇出的随机电路中终端节点的极限定律:推广二叉搜索树的图族。 (英语) 兹比尔1101.68069 学报信息。 41,编号2-3,99-110(2004).MSC公司:68兰特 05C80号 60摄氏度05 68页第10页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Mahmoud}和\textit{T.Tsukiji},《学报》第41期,第2--3,99-110号(2004;Zbl 1101.68069) 全文: 内政部
克里斯·吉安内拉;德克·范古赫特 将路径连接操作符添加到\(FO+poly(linear)\)。 (英语) Zbl 1034.68029号 学报信息。 38,编号9,621-648(2002).MSC公司:第68页,共15页 03B70号 03C60型 第14页 PDF格式BibTeX公司 XML格式引用 \textit{C.Giannella}和\textit{D.Van Gucht},《学报》第38期,第9期,第621--648页(2002年;Zbl 1034.68029) 全文: 内政部
罗宾·米尔纳 相互作用的微积分。 (英语) Zbl 0853.68123号 学报信息。 33,第8期,707-737(1996). 审核人:R.Milner(剑桥) MSC公司:第68季度55 2010年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式 全文: 内政部
卡尔·梅恩克 本原递归的递归二阶初始代数规范。 (英语) 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) 全文: 内政部
尼古拉斯·哈尔巴赫斯;Fabienne Lagnier;克里斯托夫·拉特尔 通过模块化模型检查证明常规流程网络的经验。 (英语) 兹比尔0790.68071 学报信息。 29,编号6-7,523-543(1992). 审核人:N.Halbwachs(格勒诺布尔) MSC公司:60年第68季度 68M10个 94立方厘米 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Halbwachs}等人,《学报》第29期,第6--7、523--543号(1992年;Zbl 0790.68071) 全文: 内政部
Jos C.M.Baeten。;Vaandrager,Frits W。 进程创建的代数。 (英语) Zbl 0760.68045号 学报信息。 29,第4期,303-334(1992).MSC公司:第68季度55 2010年第68季度 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{F.W.Vaandrager},《学报》第29期,第4期,303--334(1992;Zbl 0760.68045) 全文: 内政部
贝恩德·贝克尔 一种易于测试的最佳时间VLSI乘法器。 (英语) Zbl 0602.94019号 学报信息。 24, 363-380 (1987).MSC公司:94立方厘米 94C15号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Becker},《学报信息》24,363--380(1987;Zbl 0602.94019) 全文: 内政部
乌特州舒尔菲尔德 布尔函数公式大小的新下限。 (英语) Zbl 0492.94022号 学报信息。 19, 183-194 (1983).MSC公司:94立方厘米 2015年3月1日 05立方厘米35 68兰特 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{U.Schuerfeld},Acta Inf.19,183--194(1983;Zbl 0492.94022)
库尔特·梅尔霍恩 关于布尔和的一些备注。 (英语) Zbl 0421.94022号 学报信息。 12371-375(1979年).MSC公司:94立方厘米 65年第68季度 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{K.Mehlhorn},《信息学报》12,371--375(1979;Zbl 0421.94022) 全文: 内政部
J·伊芙。;Kurki-Soonio,R。 关于计算关系的传递闭包。 (英语) Zbl 0349.68021号 学报信息。 8, 303-314 (1977).MSC公司:68瓦99 65年第68季度 05C20号 03E20型 03-04 05-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Eve}和\textit{R.Kurki-Soonio},《学报》第8期,第303--314页(1977年;Zbl 0349.68021) 全文: 内政部
尤里·布莱特巴特;艾伦·雷特 布尔表达式的快速计算算法。 (英语) Zbl 0276.68022号 学报信息。 4, 107-116 (1975).MSC公司:68瓦99 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Breitbart}和\textit{A.Reiter},《学报》第4期,第107-116页(1974年;Zbl 0276.68022) 全文: 内政部