Uri Zarfaty-作者简介-zbMATH Open

编辑配置文件

乌里·扎尔法蒂

合著者距离

作者ID：	扎法提乌里
发布日期：	乌里·扎尔法蒂

5	数理逻辑与基础（03-XX）
4	计算机科学（68至XX）

所有引用出版物排名前五的出版物

5出版物有被引用41次30文件	引用人▼	年份▼
语境逻辑作为模态逻辑，具有完备性和参数不表达性。 Zbl 1295.68079号克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂	22	2007
上下文逻辑和树更新。兹比尔1369.68132 克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂	15	2005
上下文逻辑简介。 Zbl 1213.03039号菲利普·加德纳;乌里·扎尔法蒂	2	2007
关于树更新的局部推理。 Zbl 1273.03111号乌里·扎尔法蒂;菲利普·加德纳	1	2006
关于数据更新的本地推理。 Zbl 1277.68064号克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂	1	2007
语境逻辑作为模态逻辑，具有完备性和参数不表达性。 Zbl 1295.68079号克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂	22	2007
上下文逻辑简介。 Zbl 1213.03039号菲利普·加德纳;乌里·扎尔法蒂	2	2007
关于数据更新的本地推理。 Zbl 1277.68064号克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂	1	2007
关于树更新的局部推理。 Zbl 1273.03111号乌里·扎尔法蒂;菲利普·加德纳	1	2006
上下文逻辑和树更新。兹比尔1369.68132 克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂	15	2005

所有引用出版物排名前五的出版物

8	菲利普·安·加德纳
三	克里斯蒂亚诺·卡尔加诺
三	Stéphane P.德姆里。
三	大卫·J·派姆。
2	托马斯·丁斯代尔·扬
2	西蒙·多尔蒂
2	C.A.R.Tony Hoare
2	艾蒂安·洛兹
2	O'Hearn，Peter W。
2	杜鹃花拉德
1	穆罕默德·费萨尔
1	安德鲁·W·阿佩尔。
1	卡勒姆·班尼斯特
1	巴托斯·贝德纳西克
1	托马斯·博兰德
1	雷米·布罗赫宁
1	曹永志
1	卢卡·卡德利
1	秦伟彦
1	弗雷德里克·达尔奎斯特
1	Deters，摩根
1	罗伯特·多金斯
1	劳尔·费尔瓦里
1	迪迪埃·加米歇
1	乔治·盖利
1	郭恒
1	彼得·哈贝梅尔
1	马科托·哈马纳
1	汉森、雷内·里多夫
1	阿奎那·霍伯
1	彼得·霍夫纳
1	拉杜·奥西夫
1	彼得·吉普森
1	安娜·劳雷·朱塞尔梅
1	Pawe Kowalskił
1	多米尼克·拉切·温德林（Dominique Larchey-Wendling）
1	塔德乌兹·利塔克
1	塞尔吉奥·马菲斯
1	阿莱西奥·曼苏蒂
1	Annabelle K.McIver。
1	卡罗尔·C·摩根。
1	塔希里·拉贝哈加。
1	穆罕默德·拉扎
1	何塞·弗拉戈索·桑托斯
1	乔治·斯特鲁斯
1	Makoto Tatsuta
1	朱尔斯·维拉德
1	汤姆·沃纳
1	王汉平
1	伊恩·卫尔曼
1	舵手，马克
1	亚当·赖特
1	Xu，中原
1	乌里·扎尔法蒂