编辑配置文件（在新选项卡中打开） Val Tannen公司 合著者距离 作者ID： 丹宁.val 发布日期： Val Tannen公司 已编制索引的文档： 15出版物自1995年以来，包括1个附加arXiv预打印 1名编辑贡献 合著者： 25位合著者具有15联合出版物 458位合作作者 全部的 前5名合著者 1 单作者的 三 阿林·德意志 三 黄利松 2 塞佩赫·阿萨迪 2 埃里希·格拉德尔 2 桑吉夫·坎纳 2 李阳 1 彼得·布内曼 1 Katrin M.丹纳特。 1 范文飞 1 迈克尔·保罗·福曼 1 格林，托德·杰弗里 1 扎卡里·艾夫斯。 1 迪莉娅·凯斯纳 1 Koutris，Paraschos公司 1 朗，威利斯 1 卡泽姆·莱拉希 1 利博金，Leonid O。 1 马提亚斯·纳夫 1 萨米姆·纳格维（Shamim A.Naqvi）。 1 杰弗里·诺顿。 1 斯特凡诺·佩尔纳 1 劳伦斯·普埃尔 1 丹·米尔恰·苏秋 1 布鲁哈蒂Sundarmurthy 1 Tan、Wang-Chiew 全部的 前5名系列 2 理论计算机科学 1 计算机与系统科学杂志 1 信息与计算 1 函数编程杂志 1 计算系统理论 1 计算机科学课堂讲稿 1 莫斯科组合数学与数论杂志 全部的 前5名领域 15 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用81次77文件 引用人▼ 年份▼ 使用复杂对象和集合类型进行编程的原则。 Zbl 0874.68092号 彼得·布内曼;沙米姆·纳格维;Val Tannen公司;黄利松 26 1995 重新设置XML查询和约束。 Zbl 1022.68507号 阿林·德意志;Val Tannen公司 20 2003 连接正则路径查询类的优化属性。 Zbl 1098.68563号 阿林·德意志;Val Tannen公司 8 2002 一种类型化的模式演算。 Zbl 0844.68021号 迪莉娅·凯斯纳;劳伦斯·普埃尔;Val Tannen公司 6 1996 XML查询和约束、包含和重新格式化。 Zbl 1080.68024号 阿林·德意志;Val Tannen公司 6 2005 NC的查询语言。 Zbl 0887.68024号 丹·苏秋;Val Tannen公司 5 1997 可调节差异。 Zbl 1235.68066号 托德·格林（Todd J.Green）。;扎卡里·艾夫斯。;Val Tannen公司 三 2011 复杂查询中的来源传播。 Zbl 1397.68050号 Val Tannen公司 2 2013 集合和聚合的微积分。 Zbl 0884.68044号 卡泽姆·莱拉希;Val Tannen公司 2 1997 逻辑和游戏的起源分析。 Zbl 1485.68151号 埃里希·格拉德尔;Val Tannen公司 2 2020 在计算的理论和实践中寻求优雅。专为彼得·布内曼撰写的论文。 Zbl 1345.68011号 1 2013 逻辑和游戏的起源分析。 Zbl 1485.68151号 埃里希·格拉德尔;Val Tannen公司 2 2020 复杂查询中的来源传播。 Zbl 1397.68050号 Val Tannen公司 2 2013 在计算理论和实践中寻求优雅。专为彼得·布内曼撰写的论文。 Zbl 1345.68011号 1 2013 可弥补的差异。 Zbl 1235.68066号 托德·格林（Todd J.Green）。;扎卡里·艾夫斯。;Val Tannen公司 三 2011 XML查询和约束、包含和重新格式化。 Zbl 1080.68024号 阿林·德意志;Val Tannen公司 6 2005 重新设置XML查询和约束。 Zbl 1022.68507号 阿林·德意志;Val Tannen公司 20 2003 连接正则路径查询类的优化属性。 Zbl 1098.68563号 阿林·德意志;Val Tannen公司 8 2002 NC的查询语言。 Zbl 0887.68024号 丹·苏秋;Val Tannen公司 5 1997 集合和聚合的微积分。 Zbl 0884.68044号 卡泽姆·莱拉希;Val Tannen公司 2 1997 一种类型化的模式演算。 Zbl 0844.68021号 迪莉娅·凯斯纳;劳伦斯·普埃尔;Val Tannen公司 6 1996 使用复杂对象和集合类型进行编程的原则。 Zbl 0874.68092号 彼得·布内曼;沙米姆·纳格维;Val Tannen公司;黄利松 26 1995 所有引用出版物 前5名被引用出版物 全部的 前5名142位作者引用 8 利博金，Leonid O。 5 丹·米尔恰·苏秋 4 詹姆斯·切尼 4 安德烈亚斯·皮耶利斯 4 Val Tannen公司 4 黄利松 三 阿林·德意志 三 威尔默·里奇奥蒂 三 斯迪恩·范萨梅伦 2 安东尼奥·贝塞拉·特隆 2 马可·卡洛蒂 2 迭戈·卡尔瓦内斯 2 博格丹·考提斯 2 霍雷修·西尔斯泰 2 董国柱 2 罗纳德·费金 2 玛丽贝尔·费尔南德斯 2 埃里希·格拉德尔 2 迪莉娅·凯斯纳 2 Phokion G.科莱蒂斯。 2 伊恩·麦基 2 马格达莱娜·奥尔蒂斯 2 莱因哈德·皮克勒 2 胡安·卢特（Juan L.Reutter）。 2 瓦迪姆·萨文科夫 2 德克·范古赫特 1 谢尔盖·阿比特布尔 1 阿卡尔（Umut A.Acar）。 1 Afrati，Foto N。 1 阿马尔·艾哈迈德 1 什奇蓬贾·艾哈迈塔吉 1 Alemandros Jiménez、Jesús M。 1 阿尔梅德罗斯-吉梅内斯，杰苏斯·曼努埃尔 1 安托万·阿马里里 1 安娜斯塔西娅·安娜斯塔西 1 格里戈里斯·安东尼乌 1 Aravind，P.K。 1 Jean-François巴杰 1 巴勃罗·巴塞洛 1 迈克尔·鲍尔 1 斯蒂芬·贝兰托尼。 1 Michael A.Benedikt。 1 利奥波多·贝尔托西。 1 加文·比尔曼。 1 埃琳娜·博托埃娃 1 瓦尔省布雷祖·坦南 1 尼维斯·R·布里萨博阿。 1 大卫·卡拉尔 1 塞里托、塞雷内拉 1 加布里埃尔·乔巴努 1 本杰明·科格雷 1 萨拉·科恩（Sara A.Cohen）。 1 控制台，Marco 1 Costa Seco，若昂 1 卡洛斯五世·达马西奥。 1 瑞安·达纳斯 1 Katrin M.丹纳特。 1 苏珊·B·戴维森。 1 丹尼尔·多尔蒂（Daniel J.Dougherty）。 1 克莉丝汀·艾森贝斯 1 托马斯·艾特 1 范文飞 1 德国福雷 1 迭戈·菲格拉 1 盖尔·方丹 1 朱利安·福雷斯特 1 多米尼克·D·弗雷登伯格。 1 吉安·卢伊斯·贾维托 1 杰里米·吉本斯 1 托马斯·戈加茨 1 安德鲁·戈登。 1 乔治·戈特洛布 1 弗莱德里克·格鲁 1 保罗·瓜利亚多 1 卡梅·哈拉 1 弗里茨·亨利恩 1 罗斯·霍恩 1 科莱门·霍特曼 1 Hriţcu，科特林 1 海兰德·J·马丁·E·。 1 本尼·基梅尔菲尔德 1 克洛德·基什内尔 1 科赫（Christoph T.Koch）。 1 埃戈尔·柯斯特列夫（Egor V.Kostylev）。 1 马库斯·科洛奇 1 加布里埃尔·M·库珀。 1 马丁·兰格 1 David E.Langworthy。 1 肯·弗里斯·拉森 1 米歇尔·莱克莱尔 1 路易吉·利古里 1 刘继雪 1 雨果·卢伦索 1 艾蒂安·洛兹 1 伯特伦·卢德谢尔 1 路易斯·麦格南 1 马内斯（Ernie G.Manes）。 1 Jerzy Marcinkowski 1 马克西米利安·马克思 1 奥利维尔·J·J·米歇尔。 …还有42位作者 全部的 前5名21篇连载文章中引用 12 理论计算机科学 9 计算机与系统科学杂志 6 计算系统理论 4 信息与计算 三 函数编程杂志 2 信息学报 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 美国医学会杂志 2 计算机科学中的逻辑方法 1 人工智能 1 信息处理信件 1 ACM数据库系统事务 1 SIAM计算机杂志 1 物理D 1 新一代计算 1 数学与人工智能年鉴 1 高阶和符号计算 1 物理学基础 1 莫斯科组合数学与数论杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 74 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 2 一般代数系统（08-XX） 2 范畴理论；同调代数（18-XX） 1 有序，格，有序代数结构（06-XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文