约瑟夫·霍尔珀(Joseph Y.Halpern)。 一位计算机科学家研究博弈论。 (英语) 兹比尔1124.91315 游戏经济。行为。 45,第1期,114-131(2003).MSC公司:91A99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern},游戏经济。行为。45,第1号,114--131(2003;Zbl 1124.91315) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗伯特·哈珀;尼尔·伊梅尔曼;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。;维克托·维亚努 关于逻辑在计算机科学中的不同寻常的有效性。 (英语) Zbl 0979.03033号 牛市。符号。日志。 7,第2期,213-236(2001). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B70号 03-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}等人,公牛。符号。日志。7,第2号,213--236(2001;Zbl 0979.03033) 全文: 内政部 链接 链接
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;莫舍·瓦尔迪。 基于知识的计划。 (英语) Zbl 1448.68406号 分布计算。 10,第4期,199-225(1997).MSC公司:68立方英尺 68号30 68问题85 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}等人,《分布计算》。10,第4号,199--225(1997;Zbl 1448.68406) 全文: 内政部
德国人,Steven M。;埃德蒙·克拉克(Edmund M.Clarke)。;约瑟夫·霍尔珀(Joseph Y.Halpern)。 在语言L4中将过程作为参数进行推理。 (英语) Zbl 0692.68011号 Inf.计算。 83,第3期,265-359(1989).MSC公司:60年第68季度 68号01 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.M.German}等人,Inf.Compute。83,第3号,265--359(1989;Zbl 0692.68011) 全文: 内政部 链接
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。 关于知识和时间的推理的复杂性。一: 下限。 (英语) Zbl 0672.03015号 J.计算。系统。科学。 38,第1期,195-237(1989). 审核人:G.谢特林 MSC公司:03B70号 68N25号 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{M.Y.Vardi},J.Comput。系统。科学。38,第1号,195--237(1989;Zbl 0672.03015) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。 信仰、意识和有限的推理。 (英语) Zbl 0634.03013号 Artif公司。智力。 34,第1号,39-76(1988). 审核人:J.Sefránek先生 MSC公司:03B45号 68T99型 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}和\textit{J.Y.Halpern},Artif。智力。34,编号1,39--76(1988;Zbl 0634.03013) 全文: 内政部
艾默生·E·艾伦;约瑟夫·霍尔珀(Joseph Y.Halpern)。 分支时间的时序逻辑中的决策过程和表达能力。 (英语) Zbl 0559.68051号 J.计算。系统。科学。 30, 1-24 (1985). 审核人:H.西村 MSC公司:68问题65 03B45号 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{J.Y.Halpern},J.Compute。系统。科学。30,1--24(1985;Zbl 0559.68051) 全文: 内政部