托马斯·布拉兹迪尔;哈维尔·埃斯帕尔扎;斯特凡·基弗;迈克尔·卢滕伯格 随机生成任务的空间效率调度。 (英语) Zbl 1285.68020号 Inf.计算。 21087-110(2012年).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,《信息计算》。210,87-110(2012年;兹比尔1285.68020) 全文: 内政部
本杰明·阿米诺夫;奥尔纳库普弗曼;穆拉诺,阿尼洛 改进了分层系统的模型检查。 (英语) Zbl 1277.68130号 Inf.计算。 210, 68-86 (2012).MSC公司:第68季度第60季度 91A80型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。210、68——86(2012;Zbl 1277.68130) 全文: 内政部
亚历山大·拉比诺维奇 线性时域上的时间逻辑在PSPACE中。 (英语) Zbl 1280.68112号 Inf.计算。 210, 40-67 (2012).MSC公司:65年第68季度 03B44号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。210、40-67(2012年;Zbl 1280.68112) 全文: 内政部
雪莉切奇克;尤瓦尔·埃梅克;波阿斯·帕特·沙米尔;大卫·佩勒 稀疏可靠的图形主干。 (英语) Zbl 1242.05144号 Inf.计算。 210, 31-39 (2012).MSC公司:05C40号 05C31号 05C42号 68兰特 68瓦20 90B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Chechik}等人,《信息计算》。210,31-39(2012年;兹bl 1242.05144) 全文: 内政部
Laurent Bienvenu;戴,亚当·R。;马修·霍洛普;伊利亚·梅日罗夫;亚历山大·沈 关于Martin-Löf随机点的Birkhoff遍历定理的一个构造版本。 (英语) Zbl 1257.03067号 Inf.计算。 210, 21-30 (2012). 审核人:克里斯蒂安·卡鲁德(奥克兰) MSC公司:03天32分 2005年10月28日 37A30型 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}等人,《信息计算》。210、21-30(2012;Zbl 1257.03067) 全文: 内政部 arXiv公司 哈尔
克劳斯·米尔 关于一类限制使用常数的实机器的Ladner结果。 (英语) Zbl 1280.68101号 Inf.计算。 210, 13-20 (2012).MSC公司:2017年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer},Inf.计算。210、13-20(2012年;Zbl 1280.68101) 全文: 内政部
奥尔纳库普弗曼;塔米尔、塔米 应对自私的持续行为。 (英语) Zbl 1237.68115号 Inf.计算。 210, 1-12 (2012).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{T.Tamir},信息计算。210、1-12(2012年;Zbl 1237.68115) 全文: 内政部