Jean-Pierre Jouannaud;伊曼纽尔·库纳利斯 在没有构造函数的理论中通过归纳法进行自动证明。 (英语) Zbl 0682.68032号 Inf.计算。 82,第1期,第1-33页(1989年).MSC公司:68瓦30 68吨15 03年3月 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{E.Kounalis},Inf.Compute。82,第1号,1-33(1989;Zbl 0682.68032) 全文: 内政部
曼弗雷德·德罗斯特 具体数据结构的递归域方程。 (英语) Zbl 0679.68149号 Inf.计算。 82,第1号,65-80(1989).MSC公司:68问题55 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste},信息计算。82,第1号,65--80(1989;Zbl 0679.68149) 全文: 内政部
南希·林奇。;尤金·斯塔克。 输入/输出自动机卡恩原理的证明。 (英语) Zbl 0679.68119号 Inf.计算。 82,No.1,81-92(1989).MSC公司:65年第68季度 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Lynch}和\textit{E.W.Stark},信息计算。82,第1号,81--92(1989;Zbl 0679.68119) 全文: 内政部
蔡金毅;Hemachandra,A巷。 枚举计数很困难。 (英语) Zbl 0679.68072号 Inf.计算。 82,第1期,第34-44页(1989年).MSC公司:65年第68季度 2005年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Cai}和\textit{L.A.Hemachandra},Inf.Compute。82,编号1,34-44(1989;Zbl 0679.68072) 全文: 内政部
Dan E.威拉德。 正交范围查询和相关问题中加法-减法操作的下限。 (英语) Zbl 0678.68114号 Inf.计算。 82,No.1,45-64(1989).MSC公司:68第20页 第68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Willard},Inf.计算。82,第1号,45--64(1989;Zbl 0678.68114) 全文: 内政部
阿利斯泰尔·辛克莱;马克·杰鲁姆 近似计数、均匀生成和快速混合的马尔可夫链。 (英语) Zbl 0668.05060号 Inf.计算。 82,第1期,93-133(1989).MSC公司:05C99年 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sinclair}和\textit{M.Jerrum},Inf.Compute。82,第1号,93-133(1989年;Zbl 0668.05060) 全文: 内政部