张晨毅 样本字符串的最小一致DFA。 (英文) Zbl 1508.68206号 学报信息。 57,编号3-5,657-670(2020).MSC公司:65年第68季度 65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhang},Acta Inf.57,No.3--5,657--670(2020;Zbl 1508.68206) 全文: 内政部
彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 耗损渠道:网络设计中的动态、行为和效率。 (英文) 兹比尔1423.68043 学报信息。 56,第5号,405-431(2019).MSC公司:68M10个 05C21号 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Cenciarelli}等人,《信息学报》56,第5期,第405--431页(2019年;Zbl 1423.68043) 全文: 内政部
汤姆·菲多尔;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 WS1S的嵌套反链。 (英文) Zbl 1417.68182号 学报信息。 56,第3号,205-228(2019).MSC公司:68吨15 03B25号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Fiedor}等人,《信息学报》56,第3期,205-228(2019年;Zbl 1417.68182) 全文: 内政部 arXiv公司
安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 具有等价关系的度量命题邻域逻辑。 (英文) 兹比尔1350.68185 学报信息。 53,编号6-8,621-648(2016).MSC公司:60年第68季度 03B25号 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,《学报》第53期,第6--8、621--648号(2016年;Zbl 1350.68185) 全文: 内政部 链接
亚历杭德罗·桑切斯;塞萨尔·桑切斯 无限状态过程的参数化不变性。 (英文) Zbl 1329.68171号 学报信息。 52,第6号,525-557(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sánchez}和\textit{C.Sánchez},《情报法》第52卷第6期,第525-557页(2015年;兹bl 1329.68171) 全文: 内政部 arXiv公司
弗朗西斯科·兰扎托 一种有效的克里普克结构仿真算法。 (英文) Zbl 1301.68189号 学报信息。 51,第2期,107-125(2014).MSC公司:68问题85 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato},Acta Inf.51,No.2,107-125(2014;Zbl 1301.68189) 全文: 内政部 arXiv公司
阿希姆·D·布鲁克。;沃尔夫,伯克哈特 面向对象规范的语义、计算和分析。 (英文) Zbl 1179.68078号 学报信息。 46,第4期,255-284(2009).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Brucker}和\textit{B.Wolff},《学报》第46期,第4期,255-284(2009年;Zbl 1179.68078) 全文: 内政部
本尼·戈德林;斯特里赫曼(Ofer Strichman) 证明递归过程等价性的推理规则。 (英文) Zbl 1161.68013号 学报信息。 45,第6403-439号(2008年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Godlin}和\textit{O.Strichman},《学报》第45期,第6期,第403--439页(2008年;Zbl 1161.68013) 全文: 内政部
内奥米·西村;拉格德,普拉巴卡尔;斯泽德,斯特凡 使用顶点覆盖求解#SAT。 (英文) Zbl 1133.68073号 学报信息。 44,编号7-8,509-523(2007).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishimura}等人,《信息学报》第44期,第7--8、509--523号(2007年;Zbl 1133.68073) 全文: 内政部
马修·轩尼诗;朱利安·拉特克;吉田信子 safeDpi:一种控制移动代码的语言。 (英文) Zbl 1081.68003号 学报信息。 42,编号4-5,227-290(2005).MSC公司:64岁以下 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}et al.,Acta Inf.42,No.4-5227-290(2005;兹bl 1081.68003) 全文: 内政部
德拉本特,Włodzimierz 什么是失败?建设性否定的方法。 (英文) Zbl 0815.68036号 学报信息。 32,第1期,第27-59页(1995年). 审核人:W.Drabent(华沙) MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Drabent},《学报》第32期,第1期,第27-59页(1995年;Zbl 0815.68036) 全文: 内政部
埃迪,贝弗斯;约翰·莱维 证明(有条件的)重写系统的终止。语义方法。 (英文) 兹比尔0790.68054 学报信息。 30,第6期,537-568(1993). 审核人:E.饮料(鲁汶) MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Bevers}和\textit{J.Lewi},《学报》第30期,第6期,第537--568页(1993;Zbl 0790.68054) 全文: 内政部
保罗·普里查德 消除超集的机会主义算法。 (英文) Zbl 0724.68045号 学报信息。 28,第8期,733-754(1991).MSC公司:68瓦10 PDF格式BibTeX公司 XML格式引用 \textit{P.Pritchard},Acta Inf.28,No.8,733--754(1991;Zbl 0724.68045) 全文: 内政部
迪帕克·卡普尔;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛 充分完整性、地面可简化性及其复杂性。 (英文) Zbl 0721.68032号 学报信息。 28,第4期,311-350(1991). 审核人:S.P.Yukna(维尔纽斯) MSC公司:2012年第68季度 第68季度第65季度 65年第68季度 2015年3月1日 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,《学报》第28期,第4期,第311--350页(1991年;Zbl 0721.68032) 全文: 内政部
保罗·赫尔曼 一系列NP完全数据聚合问题。 (英文) 兹比尔0645.68025 学报信息。 26,第5期,485-499(1989).MSC公司:68第05页 68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Helman},Acta Inf.26,编号5,485-499(1989;Zbl 0645.68025) 全文: 内政部
乌尔夫·R·施梅尔。 公式树上的分辨率。 (英文) Zbl 0637.68102号 学报信息。 25,第4号,425-438(1988).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.R.Schmerl},《信息学报》25,第4期,425--438(1988;Zbl 0637.68102) 全文: 内政部