徐明;邓玉欣 具有时滞的概率规划的有时限终止分析。 (英语) Zbl 1496.68120号 Inf.计算。 275,文章ID 104634,24 p.(2020).MSC公司:68号30 65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Y.Deng},Inf.Compute。275,文章ID 104634,24 p.(2020;Zbl 1496.68120) 全文: 内政部
曹一新;桑迪普,R.B。 最小填充:不可接近性和几乎紧的下限。 (英语) Zbl 1435.68111号 Inf.计算。 271,文章ID 104514,9 p.(2020).MSC公司:2017年第68季度 05元50分 65层50 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cao}和\textit{R.B.Sandeep},Inf.Comput。271,文章ID 104514,9 p.(2020;Zbl 1435.68111) 全文: 内政部 arXiv公司
达斯,比雷斯瓦尔;帕特里克·沙普芬内克;雅各布·托兰 CNF和DNF简洁的图形编码。 (英语) Zbl 1362.68229号 Inf.计算。 253,第3部分,436-447(2017).MSC公司:68兰特 05C60型 2017年第68季度 19年第68季度 65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{B.Das}等人,《信息计算》。253,第3部分,436--447(2017;Zbl 1362.68229) 全文: 内政部
西蒙·波娃;陈,胡比;马修·瓦莱里奥特 原始正公式比较的通用表达式硬度结果。 (英语) 兹比尔1295.68121 Inf.计算。 222, 108-120 (2013). 审核人:赛义德·萨利希(大不里士) MSC公司:2017年第68季度 2015年3月1日 08A30型 2015年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}等人,Inf.Compute。222108--120(2013;Zbl 1295.68121) 全文: 内政部 arXiv公司
伊利亚诺·塞维萨托;安德烈·斯切德罗夫 通过线性逻辑(完整版)关联基于状态和基于进程的并发。 (英语) Zbl 1181.68168号 Inf.计算。 207,第10号,1044-1077(2009).MSC公司:68问题85 03B70号 03楼52 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{A.Scedrov},Inf.Compute。207,第10号,1044--1077(2009;Zbl 1181.68168) 全文: 内政部
布鲁姆,S.L。;埃西克,Z。 公理化自然数的有理幂级数。 (英语) Zbl 1167.68036号 Inf.计算。 207,第7期,793-811(2009).MSC公司:70年第68季度 08A70号 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.εsik},信息计算。207,第7号,793--811(2009;Zbl 1167.68036) 全文: 内政部
阿伦德·伦辛克;沃尔特·福格勒 公平测试。 (英语) Zbl 1109.68077号 Inf.计算。 205,第2期,125-198(2007).MSC公司:68问题85 68问题55 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{W.Vogler},Inf.Comput。205,编号2,125--198(2007;Zbl 1109.68077) 全文: 内政部 链接
斯蒂芬·布鲁姆。;艾西克,佐尔坦 规则词的等式理论。 (英语) 兹比尔1083.68072 Inf.计算。 197,编号1-2,55-89(2005). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:70年第68季度 03B25号 08A70号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.εsik},信息计算。197,编号1--2,55-89(2005;Zbl 1083.68072) 全文: 内政部
辛尼沙·克文科维奇;伊戈尔·多林卡;艾西克,佐尔坦 关于无联合正则语言的方程。 (英语) Zbl 1005.08001号 Inf.计算。 164,第1期,第152-172页(2001年).MSC公司:08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crvenković}等人,《Inf.Compute》。164,第1号,152--172(2001;Zbl 1005.08001) 全文: 内政部
马塞洛·M·邦桑格。;Joost N.角。 走向领域的无限逻辑:过渡系统的阿布拉姆斯基逻辑。 (英语) Zbl 1004.03030号 Inf.计算。 155,第1-2号,170-201(1999).MSC公司:03B70号 68问题55 60年第68季度 06B35号 03G10年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsange}和\textit{J.N.Kok},Inf.Compute。155,编号1--2,170-201(1999;Zbl 1004.03030) 全文: 内政部 链接
Ben-Asher,Y。;兰格,K.-J。;Peleg博士。;A.舒斯特。 重新配置网络模型的复杂性。 (英语) Zbl 0832.68045号 Inf.计算。 121,第1期,第41-58页(1995年).MSC公司:2015年第68季度 68米10 94立方厘米10 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ben-Asher}等人,《信息计算》。121,编号1,41-58(1995;Zbl 0832.68045) 全文: 内政部 链接
德克斯特·科赞 Kleene代数和正则事件代数的完备性定理。 (英语) Zbl 0806.68082号 Inf.计算。 110,第2期,366-390(1994).MSC公司:70年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},Inf.计算。110,第2号,366--390(1994;Zbl 0806.68082) 全文: 内政部
索罗·图利帕尼 具有子形式关系的无限项存在性理论的可判定性。 (英语) Zbl 0801.68115号 Inf.计算。 108,第1期,第1-33页(1994年).MSC公司:68问题65 03B25号 08A70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Tulipani},Inf.计算。108,编号1,1-33(1994;兹bl 0801.68115) 全文: 内政部
曼弗雷德·德罗斯特 通用同构事件结构和域。 (英语) 兹伯利0759.68056 Inf.计算。 94,第1期,48-61(1991). 审核人:C.Masalagiu(伊阿什) MSC公司:68问题55 08A02号 08A70号 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste},信息计算。94,第1号,48--61(1991;Zbl 0759.68056) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。一: 有限图的可识别集。 (英语) Zbl 0722.03008号 Inf.计算。 85,第1期,12-75页(1990年). 审核人:李翔(贵阳) MSC公司:03B15号机组 68兰特 05C75号 05C65号 03B25号 65年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},信息计算。85,编号1,12--75(1990;Zbl 0722.03008) 全文: 内政部
朱拉吉·赫罗姆科维奇;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 分支程序提供了多段确定性和非确定性VLSI电路面积的下限。 (英语) Zbl 0674.68033号 Inf.计算。 96,第2期,168-178(1992). 审核人:J.霍姆科维奇 MSC公司:68平方米 2015年3月1日 94立方厘米10 68N25号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}等人,《信息计算》。96,第2号,168--178(1990年;Zbl 0674.68033) 全文: 内政部
詹姆斯·R·德里斯科尔。;梅里克·弗斯特。 计算短生成器序列。 (英语) Zbl 0621.20016 Inf.计算。 72, 117-132 (1987). 审核人:W.Knapp公司 MSC公司:20F05型 68瓦99 65年第68季度 20-04 20B35码 05C25号 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Driscoll}和\textit{M.L.Furst},Inf.Compute。72117-132(1987年;兹bl 0622.1016) 全文: 内政部