约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗伯特·哈珀;尼尔·伊梅尔曼;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。;维克托·维亚努 关于逻辑在计算机科学中的不同寻常的有效性。 (英语) Zbl 0979.03033号 牛。符号。日志。 7,第2期,213-236(2001). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B70号 03-02 2002年8月 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) 全文: 内政部
约瑟夫·霍尔珀(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.Compute。系统。科学。38,第1号,195--237(1989;Zbl 0672.03015) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。 信仰、意识和有限的推理。 (英语) Zbl 0634.03013号 Artif公司。智力。 34,第1号,39-76(1988). 审核人:J.塞夫拉内克 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) 全文: 内政部