编辑配置文件（在新选项卡中打开） 十个Cate，Balder David 合著者距离 作者ID： 十个字母.d 发布日期： 10个Cate，Balder；10 Cate，Balder公司；Cate，Balder Ten公司；十卡特，B。；10 Cate，Balder D。 更多。。。较少的 主页： https://users.soe.ucsc.edu/~b帐篷/ 外部链接： MGP公司 已编制索引的文档： 51出版物自2002年以来，包括1本书 3作为编辑的贡献 合著者： 49位合著者具有48联合出版物 965联合作者 全部的 前5名合著者 5 单作者的 9 Michael A.Benedikt。 5 文斯·巴拉尼 5 卢克·塞古芬 4 Phokion G.科莱蒂斯。 4 迈克尔·范登·布姆 三 盖尔·方丹 三 Amélie Gheerbrant 三 塔德乌什·利塔克 三 卡斯滕·卢茨 三 马尔滕·马克思 三 van Benthem，Johan F.A.K。 2 维克托·达尔摩 2 罗纳德·费金 2 马西莫·弗朗西切特 2 本尼·基梅尔菲尔德 2 Tan、Wang-Chiew 2 伊夫提米亚·察穆拉 1 谢尔盖·阿比特布尔 1 洛雷达纳·阿法纳西耶夫 1 阿尔伯特·阿塞里亚斯 1 古拉姆·贝扎尼什维利 1 尼克·贝扎尼什维利 1 梅亨·宾文努 1 Bojańczyk，莫科瓦杰 1 皮埃尔·布赫斯 1 托马斯·科尔科姆贝特 1 亚历山德罗·法奇尼 1 恩里科·弗兰科尼 1 莫里斯·芬克 1 Gabelaia，大卫 1 弗洛里斯·吉尔茨 1 让·克里斯托夫·荣格 1 卡西斯，扬尼斯 1 拉乌尔·库迪杰斯 1 朱利安·莱布莱 1 丹·奥尔特阿努 1 利亚特·彼得弗雷德 1 加布里埃尔，小狗 1 钱昆 1 Kenneth A.Ross。 1 达科·萨雷纳克 1 伊南·塞兰 1 Shan、Chung-chieh 1 德米特里·苏斯特列托夫 1 Väänänen，Jouko Antero 1 佐格拉夫拉·瓦格纳 1 彼得鲁西奥·维亚纳 1 弗兰克·沃尔特 1 亨克·泽瓦特（Henk W.Zeevat）。 全部的 前5名系列 4 ACM数据库系统事务 4 计算系统理论 三 美国医学会杂志 三 计算机科学中的逻辑方法 2 信息处理信件 2 符号逻辑杂志 2 Studia Logica公司 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 逻辑与计算杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 IGPL逻辑杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 计算机科学课堂讲稿 1 RAIRO公司。理论信息学及其应用 1 数据管理综合讲座 全部的 前5名领域 38 数理逻辑与基础（03-XX） 36 计算机科学（68至XX） 三 总体主题；集合（00-XX） 2 一般拓扑结构（54至XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用335中的次231文件 引用人▼ 年份▼ 扩展模态语言的插值。 Zbl 1089.03014号 10个Cate，Balder 39 2005 纯扩展、证明规则和混合公理。 Zbl 1115.03009号 P.布莱克本。；十卡特，B。 28 2006 基于本体的数据访问：通过析取数据日志、CSP和MMSNP进行的研究。 Zbl 1474.68082号 梅亨·宾文努；10 Cate，Balder公司；卡斯滕·卢茨；弗兰克·沃尔特 26 2014 关于带绑定器的混合逻辑的复杂性。 Zbl 1136.03311号 10个Cate，Balder；马西莫·弗朗西切特 21 2005 拓扑产品的多模态逻辑。 Zbl 1113.03018号 范·本特姆（J.van Benthem）。；G.贝扎尼什维利。；十卡特，B。；D.萨雷纳克。 19 2006 传递闭包逻辑、嵌套树遍历自动机和XPath。 Zbl 1327.03024号 10个Cate，Balder；卢克·塞古芬 13 2010 谨慎的否定。 Zbl 1333.68133号 文斯·巴拉尼；10个Cate，Balder；卢克·塞古芬 13 2015 重写保护否定查询。 Zbl 1398.68120号 文斯·巴拉尼；迈克尔·本尼迪克特；10个Cate，Balder 12 2013 拓扑的模态语言：表达性和可定义性。 Zbl 1172.03013号 10个Cate，Balder；Gabelaia，大卫；德米特里·苏斯特列托夫 11 2009 具有萨尔奎斯特公理的混合逻辑。 兹比尔1080.03006 10个Cate，Balder；马克思，马尔滕；彼得·乌西奥·维亚纳 11 2005 二阶命题模态逻辑的表示性。 Zbl 1106.03016号 10个Cate，Balder 9 2006 一阶逻辑片段的Lindström定理。 Zbl 1168.03017号 约翰·范·本特姆；10个Cate，Balder；Väänänen，茹科 9 2009 XPath 2.0表达片段中查询包含的复杂性。 Zbl 1325.68079号 10个Cate，Balder；卡斯滕·卢茨 9 2009 XPath片段的完整公理化。 Zbl 1192.68223号 10个Cate，Balder；塔德乌什·利塔克；马尔滕·马克思 8 2010 Beth在表达性描述逻辑中的可定义性。 Zbl 1442.68223号 10个Cate，Balder；恩里科·弗兰科尼；伊南·塞兰 8 2013 公理化XPath 2.0的逻辑核心。 Zbl 1192.68224号 10个Cate，Balder；马尔滕·马克思 8 2009 关于一致查询应答的数据复杂性。 Zbl 1352.68082号 10个Cate，Balder；盖尔·方丹；Phokion G.科莱蒂斯。 8 2015 XPath的一些模态方面。 Zbl 1242.68010号 10个Cate，Balder；盖尔·方丹；塔德乌什·利塔克 7 2010 一元否定。 Zbl 1285.03004号 卢克·塞古芬；10个Cate，Balder 7 2013 保护逻辑有界性的复杂性。 Zbl 1401.03064号 迈克尔·本尼迪克特；10个Cate，Balder；托马斯·科尔科姆贝特；迈克尔·范登·布姆 7 2015 混合证明规则的拓扑观点。 Zbl 1278.03051号 10个Cate，Balder；塔德乌什·利塔克 6 2007 谨慎的否定。 Zbl 1333.68132号 文斯·巴拉尼；10个Cate，Balder；卢克·塞古芬 5 2011 根据证据生成计划。基于插值的查询重定方法。 Zbl 1345.68003号 迈克尔·本尼迪克特；朱利安·莱布莱；10个Cate，Balder；伊夫提米亚·察穆拉 5 2016 一些保护性否定的模型理论。 兹比尔1522.03098 文斯·巴拉尼；迈克尔·贝内迪克特；凯特，鲍德·十 4 2018 混合逻辑的传输结果。一： 操作员不满意的情况。 Zbl 1101.03019号 尼克·贝扎尼什维利；10个Cate，Balder 4 2006 有限树上模态演算的一个简单完备性证明。 Zbl 1284.03213号 10个Cate，Balder；盖尔·方丹 4 2010 用常量保护碎片。 Zbl 1080.03002号 10个Cate，Balder；马西莫·弗朗西切特 4 2005 查询可见和不可见信息。 Zbl 1394.68125号 迈克尔·本尼迪克特；皮埃尔·布赫斯；10个Cate，Balder；加布里埃尔，小狗 4 2016 一元否定。 Zbl 1230.03068号 10个Cate，Balder；卢克·塞古芬 三 2011 学习模式映射。 Zbl 1321.68249号 10个Cate，Balder；维克托·达尔摩；Phokion G.科莱蒂斯。 三 2013 保护逻辑中的有效插值和保存。 Zbl 1367.03036号 迈克尔·本尼迪克特；10个Cate，Balder；迈克尔·范登·布姆 三 2016 保护逻辑中的有效插值和保存。 Zbl 1394.03050号 迈克尔·本尼迪克特；10个Cate，Balder；迈克尔·范登·布姆 三 2014 文档扳手的递归程序。 Zbl 07561473号 利亚特·彼得弗雷德；Cate，Balder Ten公司；罗纳德·费金；本尼·基梅尔菲尔德 三 2019 有限树上一元二阶逻辑片段的完全公理化。 Zbl 1261.03111号 Amélie Gheerbrant；10个Cate，Balder 2 2012 产品同态问题及其应用。 Zbl 1365.68296号 10个Cate，Balder；维克托·达尔摩 2 2015 具有可判定不动点逻辑的插值。 Zbl 1394.03051号 迈克尔·本尼迪克特；10个Cate，Balder；迈克尔·范登·布姆 2 2015 根据证据生成计划。 Zbl 1474.68079号 迈克尔·贝内迪克特；Ten Cate，鲍德；伊夫提米亚·察穆拉 1 2016 问答：从分区到Prolog。 Zbl 1016.03025号 10个Cate，Balder；Shan、Chung-chieh 1 2002 分布式系统与查询和通信的等价性。 Zbl 1358.68035号 谢尔盖·阿比特布尔；10个Cate，Balder；Yannis Katsis 1 2013 谨慎的否定。 Zbl 1288.03019号 10个Cate，Balder 1 2012 线性时态语言的克雷格插值。 Zbl 1257.03042号 Amélie Gheerbrant；10个Cate，Balder 1 2009 文档扳手的递归程序。 Zbl 07561473号 利亚特·彼得弗雷德；Cate，Balder Ten公司；罗纳德·费金；本尼·基梅尔菲尔德 三 2019 一些保护性否定的模型理论。 Zbl 1522.03098号 文斯·巴拉尼；迈克尔·本尼迪克特；Cate，Balder Ten公司 4 2018 根据证据生成计划。基于插值的查询重定方法。 Zbl 1345.68003号 迈克尔·本尼迪克特；朱利安·莱布莱；10个Cate，Balder；伊夫提米亚·察穆拉 5 2016 查询可见和不可见信息。 Zbl 1394.68125号 迈克尔·本尼迪克特；皮埃尔·布赫斯；10个Cate，Balder；加布里埃尔，小狗 4 2016 保护逻辑中的有效插值和保存。 Zbl 1367.03036号 迈克尔·本尼迪克特；10个Cate，Balder；迈克尔·范登·布姆 三 2016 根据证据生成计划。 Zbl 1474.68079号 迈克尔·本尼迪克特；10 Cate，Balder公司；伊夫提米亚·察穆拉 1 2016 谨慎的否定。 Zbl 1333.68133号 文斯·巴拉尼；10个Cate，Balder；卢克·塞古芬 13 2015 关于一致查询应答的数据复杂性。 Zbl 1352.68082号 10个Cate，Balder；盖尔·方丹；Phokion G.科莱蒂斯。 8 2015 保护逻辑有界性的复杂性。 兹比尔1401.03064 迈克尔·贝内迪克特；10个Cate，Balder；托马斯·科尔科姆贝特；迈克尔·范登·布姆 7 2015 乘积同态问题及其应用。 Zbl 1365.68296号 10个Cate，Balder；维克托·达尔摩 2 2015 具有可判定不动点逻辑的插值。 Zbl 1394.03051号 迈克尔·本尼迪克特；10个Cate，Balder；迈克尔·范登·布姆 2 2015 基于本体的数据访问：通过析取数据日志、CSP和MMSNP进行的研究。 Zbl 1474.68082号 梅亨·宾文努；10 Cate，Balder公司；卡斯滕·卢茨；弗兰克·沃尔特 26 2014 保护逻辑中的有效插值和保存。 Zbl 1394.03050号 迈克尔·本尼迪克特；10个Cate，Balder；迈克尔·范登·布姆 三 2014 重写保护否定查询。 Zbl 1398.68120号 文斯·巴拉尼；迈克尔·本尼迪克特；10个Cate，Balder 12 2013 Beth在表达性描述逻辑中的可定义性。 Zbl 1442.68223号 10个Cate，Balder；恩里科·弗兰科尼；伊南·塞兰 8 2013 一元否定。 Zbl 1285.03004号 卢克·塞古芬；10个Cate，Balder 7 2013 学习模式映射。 Zbl 1321.68249号 10个Cate，Balder；维克托·达尔摩；Phokion G.科莱蒂斯。 三 2013 分布式系统与查询和通信的等价性。 Zbl 1358.68035号 谢尔盖·阿比特布尔；10个Cate，Balder；Yannis Katsis 1 2013 有限树上一元二阶逻辑片段的完全公理化。 Zbl 1261.03111号 Amélie Gheerbrant；10个Cate，Balder 2 2012 谨慎的否定。 Zbl 1288.03019号 10个Cate，Balder 1 2012 谨慎的否定。 Zbl 1333.68132号 文斯·巴拉尼；10个Cate，Balder；卢克·塞古芬 5 2011 一元否定。 Zbl 1230.03068号 10个Cate，Balder；卢克·塞古芬 三 2011 传递闭包逻辑、嵌套树遍历自动机和XPath。 Zbl 1327.03024号 10个Cate，Balder；卢克·塞古芬 13 2010 XPath片段的完整公理化。 兹比尔1192.68223 10个Cate，Balder；塔德乌什·利塔克；马克思，马尔滕 8 2010 XPath的一些模态方面。 Zbl 1242.68010号 10个Cate，Balder；盖尔·方丹；塔德乌什·利塔克 7 2010 有限树上模态演算的一个简单完备性证明。 Zbl 1284.03213号 10个Cate，Balder；盖尔·方丹 4 2010 拓扑的模态语言：表达性和可定义性。 Zbl 1172.03013号 10个Cate，Balder；Gabelaia，大卫；德米特里·苏斯特列托夫 11 2009 一阶逻辑片段的Lindström定理。 Zbl 1168.03017号 约翰·范·本特姆；10个Cate，Balder；Väänänen，茹科 9 2009 XPath 2.0表达片段中查询包含的复杂性。 Zbl 1325.68079号 10个Cate，Balder；卡斯滕·卢茨 9 2009 公理化XPath 2.0的逻辑核心。 Zbl 1192.68224号 10个Cate，Balder；马尔滕·马克思 8 2009 线性时态语言的克雷格插值。 Zbl 1257.03042号 Amélie Gheerbrant；10个Cate，Balder 1 2009 混合证明规则的拓扑观点。 Zbl 1278.03051号 10个Cate，Balder；塔德乌什·利塔克 6 2007 纯扩展、证明规则和混合公理。 Zbl 1115.03009号 P.布莱克本。；十卡特，B。 28 2006 拓扑产品的多模态逻辑。 Zbl 1113.03018号 范·本特姆（J.van Benthem）。；G.贝扎尼什维利。；十卡特，B。；D.萨雷纳克。 19 2006 二阶命题模态逻辑的表示性。 Zbl 1106.03016号 10个Cate，Balder 9 2006 混合逻辑的传输结果。一： 操作员不满意的情况。 Zbl 1101.03019号 尼克·贝扎尼什维利；10个Cate，Balder 4 2006 扩展模态语言的插值。 Zbl 1089.03014号 10个Cate，Balder 39 2005 关于带绑定器的混合逻辑的复杂性。 Zbl 1136.03311号 10个Cate，Balder；马西莫·弗朗西切特 21 2005 混合逻辑与Sahlqvist公理。 Zbl 1080.03006号 10个Cate，Balder；马克思，马尔滕；佩特鲁西奥维亚纳 11 2005 带有常量的保护碎片。 Zbl 1080.03002号 10个Cate，Balder；马西莫·弗朗西切特 4 2005 问答：从分区到Prolog。 Zbl 1016.03025号 10个Cate，Balder；Shan、Chung-chieh 1 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名312位作者引用 17 十个Cate，Balder David 9 卡斯滕·卢茨 8 尼克·贝扎尼什维利 7 马丁斯（Manuel António Martins） 7 弗兰克·沃尔特 6 卡洛斯·阿雷塞斯 6 Michael A.Benedikt。 6 威廉·康拉迪 6 劳尔·费尔瓦里 6 佐野胜彦 6 van Benthem，Johan F.A.K。 6 沃尔克·韦伯 5 马里奥·贝尼维德斯。 5 古拉姆·贝扎尼什维利 5 让·克里斯托夫·荣格 5 菲利普·克莱默 5 塔德乌什·利塔克 5 马丁·蒙德亨克 5 托马斯·施耐德 5 迈克尔·维克托洛维奇（Michael Viktorovich） 4 帕特里克·布莱克本 4 玛尔塔·恰尔迪亚·梅耶 4 海姆，皮尔雷·科里尔 4 安东尼娅·韦尔塔斯 4 伊曼纽尔·基伦斯基 4 安蒂·库西斯托 4 亚历山大·马德拉 4 玛丽亚·曼扎诺 4 维姆·马滕斯 4 亚历山德拉·帕尔米吉亚诺 4 弗拉迪斯拉夫·里日科夫 4 路易斯·梅纳施·谢赫特 4 托马斯·施温蒂克 三 塞尔吉奥·阿布里奥拉 三 安托万·阿马里利 三 亚历山德罗·阿塔尔 三 文斯·巴拉尼 三 巴博萨、路易斯·索亚雷斯 三 巴勃罗·巴塞洛 三 塞兰、伊斯梅尔·伊尔坎 三 Stéphane P.德姆里。 三 盖尔·方丹 三 伊恩·马丁·霍德金森 三 斯坦尼斯拉夫·基科特 三 马丁·兰格 三 马尔滕·马克思 三 马格达莱娜·奥尔蒂斯 三 卢克·塞古芬 三 西蒙库斯，曼塔斯 三 范德霍克，威比 三 汉斯·皮特·范·迪特马什 2 什奇蓬贾·艾哈迈塔吉 2 乔瓦尼·阿蒙多拉 2 哈伊纳尔·安德雷卡 2 亚历山大·巴尔塔格 2 埃弗拉多·贝尔塞纳斯 2 巴托斯·贝德纳西克 2 托马斯·博兰德 2 皮埃尔·布赫斯 2 劳拉·博泽利 2 托本·布吕纳 2 塞里托、塞雷内拉 2 圣地亚哥Cifuentes 2 伯纳多·昆卡·格劳 2 乔瓦娜·达戈斯蒂诺 2 阿努吉·达瓦尔 2 克里斯蒂娜·费尔 2 马西莫·弗朗西切特 2 Gabelaia，大卫 2 Amélie Gheerbrant 2 格奥尔格·戈特洛布 2 Hansen，Jens Ulrik简斯·乌尔里克 2 伯恩哈德·海尼曼 2 文森特·雨果特 2 本尼·基梅尔菲尔德 2 罗马人孔查科夫 2 埃戈尔·柯斯特列夫（Egor V.Kostylev）。 2 奥尔加·库什纳伦科 2 Alisa Kovtunova 2 阿吉·库鲁茨 2 奥利弗·库茨 2 拉诺特、拉格罗 2 兰科·拉齐奇 2 尼古拉·利昂 2 卢塞罗·布莱恩，乔尔·格雷戈里 2 马可·曼纳 2 Martinez、Maria Vanina 2 阿恩·迈尔 2 伊斯坦·内梅蒂 2 法兰克·奈文 2 西里尔·尼科德 2 安娜·奥扎基 2 尼娜·帕达尔 2 安德烈亚斯·皮耶利斯 2 米盖尔·罗梅罗 2 西尔万·施密茨 2 卢茨·施罗德 2 Gennady Shtakser公司 2 Smets，Sonja J.L。 2 德米特里·苏斯特列托夫 …还有212位作者 全部的 前5名32篇连载文章中引用 15 Studia Logica公司 14 逻辑、语言与信息杂志 13 人工智能 11 计算机科学中的逻辑方法 10 应用逻辑杂志 9 理论计算机科学 8 纯逻辑与应用逻辑年鉴 7 ACM计算逻辑事务 6 哲学逻辑杂志 6 合成 6 自动推理杂志 5 信息处理信件 5 计算机与系统科学杂志 5 符号逻辑杂志 5 信息与计算 4 计算系统理论 4 程序设计中的逻辑和代数方法杂志 三 数学逻辑档案 三 应用非经典逻辑杂志 三 人工智能研究杂志 2 信息学报 2 泛逻辑 1 离散应用数学 1 以色列数学杂志 1 圣母院形式逻辑杂志 1 国际近似推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 美国医学会杂志 1 逻辑程序设计理论与实践 1 机器学习研究杂志（JMLR） 全部的 前5名在9个字段中引用 172 数理逻辑与基础（03-XX） 131 计算机科学（68至XX） 13 一般拓扑结构（54至XX） 4 组合数学（05-XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 阶、格、有序代数结构（06-XX） 1 统计学（62-XX） 1 量子理论（81-XX） 1 数学教育（97-XX） 按年份列出的引文