奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 一次和为所有人. (英语) Zbl 1245.03022号 J.计算。系统。科学。 78,第3期,981-996(2012).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《计算杂志》。系统。科学。78,第3981-996号(2012年;兹bl 1245.03022) 全文: 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
伊塔·巴拉班;阿米尔·普努利;亚尼夫·萨阿尔;Lenore D.扎克。 验证多链接堆。 (英语) Zbl 1246.68093号 J.计算。系统。科学。 78,第3期,853-876(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,J.Compute。系统。科学。78,第3号,853--876(2012;Zbl 1246.68093) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证:自动机理论视图。 (英语) Zbl 0983.68109号 J.计算。系统。科学。 62,第4期,668-690(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《计算杂志》。系统。科学。62,第4号,668--690(2001;Zbl 0983.68109) 全文: 内政部
大卫·哈雷;阿米尔·普努利;乔纳森·斯塔维 非规则程序的命题动态逻辑。 (英语) 兹伯利0536.68041 J.计算。系统。科学。 26, 222-243 (1983). 审核人:H.西村 MSC公司:68问题65 60年第68季度 03B60号 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,J.Compute。系统。科学。26、222--243(1983年;Zbl 0536.68041) 全文: 内政部
莫德凯·本·阿里;约瑟夫·霍尔珀(Joseph Y.Halpern)。;阿米尔·普努利 确定性命题动态逻辑:有限模型、复杂性和完整性。 (英语) Zbl 0512.03013号 J.计算。系统。科学。 25, 402-417 (1982).MSC公司:03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari}等人,《计算杂志》。系统。科学。25402--417(1982;Zbl 0512.03013) 全文: 内政部
Commoner,F。;A.W.霍尔特。;甚至,S。;A.普努利。 标记的有向图。 (英语) Zbl 0238.05109号 J.计算。系统。科学。 5, 511-523 (1971).MSC公司:05C20号 05C35号 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{F.Commoner}等人,《计算杂志》。系统。科学。511--523(1971;Zbl 0238.05109) 全文: 内政部