习晓勇;杨金波;寇,惠 阿马迪奥和居里公开问题的部分解决方案。 (英语) Zbl 1391.68074号 Inf.计算。 260, 126-134 (2018).MSC公司:68问题55 06B35号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{X.Xi}等人,《信息计算》。260126-134(2018;Zbl 1391.68074) 全文: 内政部
贾科莫·阿尔泽塔;安德烈亚·马林;卡拉广场;萨宾娜·罗西 马尔科夫自动机中基于集总的等价物:产品形态分析的算法和应用。 (英语) Zbl 1390.68371号 Inf.计算。 260, 99-125 (2018).MSC公司:65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Alzetta}等人,《信息计算》。260、99-125(2018;Zbl 1390.68371) 全文: 内政部 链接
朱利安·卡萨因;朱哈尼·卡胡马基;斯维特拉娜·普兹尼纳 关于\(k\)-阿贝尔回文。 (英语) Zbl 1393.68138号 Inf.计算。 260, 89-98 (2018). 审核人:弗朗西斯科·多尔斯(蒙特勒) MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Cassaigne}等人,《信息计算》。260、89-98(2018年;Zbl 1393.68138) 全文: 内政部
克里斯蒂安·卡钦;奥尔加·奥里蒙科 验证远程不受信任服务与无冲突操作的一致性。 (英语) Zbl 1390.68088号 Inf.计算。 260, 72-88 (2018).MSC公司:64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{C.Cachin}和\textit{O.Ohrimenko},信息计算。260、72-88(2018;Zbl 1390.68088) 全文: 内政部 arXiv公司
伊万格洛斯·班帕;大卫·伊尔辛卡斯 关于移动代理可验证的问题。 (英语) 兹比尔1391.68037 Inf.计算。 260, 51-71 (2018).MSC公司:2010年第68季度 64岁以下 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bampas}和\textit{D.Ilcinkas},Inf.Comput。260、51-71(2018;Zbl 1391.68037) 全文: 内政部 哈尔
法默,威廉·M。 将引用和评价纳入教会的类型理论。 (英语) Zbl 1390.68168号 Inf.计算。 260, 9-50 (2018).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},信息计算。260,9-50(2018;Zbl 1390.68168) 全文: 内政部 arXiv公司
奥斯卡·H·伊巴拉。;当、哲;李琴 接受双向有限自动机中的运行。 (英语) Zbl 1390.68397号 Inf.计算。 260, 1-8 (2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,《Inf.Compute》。260,1--8(2018;Zbl 1390.68397) 全文: 内政部