伊万诺·洛达托;Snehal M.Shekatkar。;黄天安 关于部分信息检索:无约束100囚犯问题。 (英语) Zbl 07686411号 学报信息。 60,第2期,179-208(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Lodato}等人,Acta Inf.60,第2179-208号(2023年;Zbl 07686411) 全文: 内政部 arXiv公司
马赫布贝·萨马迪;法特梅·加塞米;拉丁·科斯拉维 基于消息的系统中消息序列的分散运行时验证。 (英语) 兹伯利07686410 学报信息。 60,第2期,145-178(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Samadi}等人,《信息学报》第60卷第2期,第145--178页(2023年;Zbl 07686410) 全文: 内政部
乔瓦尼·皮奇奇尼;卢卡·普里吉奥尼埃罗 下推自动机和恒定高度:可判定性和界限。 (英语) Zbl 07686409号 学报信息。 60,第2期,123-144(2023年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini}和\textit{L.Prigioniero},《学报》第60期,第2期,第123--144页(2023年;Zbl 07686409) 全文: 内政部
阿萨夫·莱文;塔尔·舒斯特曼 具有连续可控处理时间的单机抢占式调度中的加权吞吐量。 (英语) Zbl 07686408号 学报信息。 60,编号2,101-122(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Levin}和\textit{T.Shusterman},《学报》第60期,第2期,第101-122页(2023年;Zbl 07686408) 全文: 内政部