编辑配置文件(在新选项卡中打开) 卢克·塞古芬 合著者距离 作者ID: 塞古芬.luc 发布日期: 卢克·塞古芬 外部链接: MGP公司 编入索引的文档: 55出版物自2000年起 合著者: 38位合著者具有52联合出版物 881位联合作者 全部的 前5名合著者 3 单作者的 7 托马斯·施温蒂克 6 Michael A.Benedikt。 6 Mikołaj博扬奇克 5 Stéphane Grumbach 5 安卡·穆斯科尔 5 菲利普·里戈 5 十个Cate,Balder David 4 尼科尔·施韦卡特 3 迭戈·菲格拉 3 马丁·格罗 3 内森·格罗珊斯 3 麦肯齐,皮埃尔 3 托马斯·普莱斯 3 马蒂亚斯·萨缪里德斯 2 文斯·巴拉尼 2 Leonid O·利金。 2 米歇尔·朔尔 2 迪特尔·范·梅尔凯贝克 2 亚历山大·维格尼 1 保罗·比姆。 1 尼科尔·比多特 1 克莱尔·大卫 1 阿努杰,达瓦尔 1 桑德拉·德阿莫 1 杰雷米·迪米诺 1 纳迪米·弗朗西斯 1 乔治·戈特洛布 1 朱利安·格兰奇 1 弗洛伦特·雅克马尔 1 沃伊切赫·卡扎纳 1 沃伊特克,卡扎纳 1 科赫(Christoph T.Koch)。 1 佐埃·拉克鲁瓦 1 莱因哈德·皮克勒 1 克里斯蒂娜·西兰吉罗 1 霍华德·斯特劳宾 1 西门托伦奇克 1 维克托·维亚努 全部的 前5名系列 11 计算机科学中的逻辑方法 6 美国医学会杂志 4 ACM计算逻辑事务 2 计算机与系统科学杂志 1 信息处理信件 1 《计算机杂志》。A部分/B部分 1 符号逻辑杂志 1 SIAM计算机杂志 1 逻辑与计算杂志 1 信息系统 1 符号逻辑公报 1 计算系统理论 1 ACM计算理论汇刊 领域 52 计算机科学(68至XX) 33 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用402中的次291文件 引用人▼ 年份▼ 数据字上的双变量逻辑。 Zbl 1352.03041号 Mikołaj博扬奇克;克莱尔·大卫;安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 55 2011 无限字母表上单词和树的自动机和逻辑。 Zbl 1225.68103号 卢克·塞古芬 42 2006 什么时候可以处理连接查询的评估? Zbl 1323.68251号 马丁·格罗;托马斯·施温蒂克;卢克·塞古芬 39 2001 数据树上的双变量逻辑和XML推理。 Zbl 1325.68078号 米科拉伊·博扬奇克;安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 38 2009 树上一元二阶查询的枚举。 Zbl 1353.68068号 沃伊切赫·卡扎纳;卢克·塞古芬 25 2013 字符串上的可定义关系和一阶查询语言。 Zbl 1325.03031号 迈克尔·本尼迪克特;利奥尼德·利金;托马斯·施温蒂克;卢克·塞古芬 14 2003 谨慎的否定。 Zbl 1333.68133号 文斯·巴拉尼;10个Cate,Balder;卢克·塞古芬 13 2015 传递闭包逻辑、嵌套的树行走自动机和XPath。 Zbl 1327.03024号 10个Cate,Balder;卢克·塞古芬 13 2010 分段可测试的树语言。 Zbl 1261.03126号 Mikołaj博扬奇克;卢克·塞古芬;霍华德·斯特劳宾 13 2012 XPath查询求值和XML类型的复杂性。 Zbl 1317.68073号 乔治·戈特洛布;克里斯托弗·科赫;莱因哈德·皮克勒;卢克·塞古芬 11 2005 FO中可定义的常规树语言。 Zbl 1118.03314号 迈克尔·本尼迪克特;卢克·塞古芬 10 2005 卵石自动机的表现力。 Zbl 1223.68065号 Mikołaj博扬奇克;马蒂亚斯·萨缪里德斯;托马斯·施温蒂克;卢克·塞古芬 10 2006 补充确定性树行走自动机。 Zbl 1184.68324号 安卡·穆斯科尔;马蒂亚斯·萨缪里德斯;卢克·塞古芬 9 2006 可在FO和FO\(_{\mathrm{mod}}\)中定义的正则树语言。 Zbl 1351.68134号 迈克尔·本尼迪克特;卢克·塞古芬 8 2009 数据树和垂直XPath上的自下而上自动机。 Zbl 1230.68128号 迭戈·菲格拉;卢克·塞古芬 8 2011 一元否定。 Zbl 1285.03004号 卢克·塞古芬;10个Cate,Balder 7 2013 具有局部有界扩展的数据库上FO查询的恒定延迟枚举。 Zbl 1402.68052号 卢克·塞古芬;亚历山大·维格尼 6 2017 卵石树行走自动机的复杂性。 Zbl 1135.68459号 马蒂亚斯·萨缪里德斯;卢克·塞古芬 6 2007 数据字和树上的面向未来的逻辑。 Zbl 1250.03050号 迭戈·菲格拉;卢克·塞古芬 6 2009 通过拓扑不变量查询空间数据库。 Zbl 0963.68058号 卢克·塞古芬;维克托·维亚努 6 2000 局部可测试树语言的可判定特征。 Zbl 1237.68119号 托马斯·普莱斯;卢克·塞古芬 6 2011 谨慎的否定。 兹比尔1333.68132 文斯·巴拉尼;10个Cate,Balder;卢克·塞古芬 5 2011 DA中程序对幺半群的威力。 兹比尔1440.68088 内森·格罗珊斯;麦肯齐,皮埃尔;卢克·塞古芬 4 2017 \数据树、数据树自动机和分支向量加法系统上的(\mathsf{FO}^2(<,+1,\sim)\)。 Zbl 1448.68227号 佛罗伦萨·杰克马尔;卢克·塞古芬;杰雷米·迪米诺 4 2016 约束数据库中的可达性和连接性查询。 Zbl 1026.68036号 迈克尔·本尼迪克特;马丁·格罗;利奥尼德·利金;卢克·塞古芬 4 2003 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1170.03019号 Bojańczyk,米科瓦杰;卢克·塞古芬 4 2008 线性排序数据域上基于自动化的验证。 Zbl 1230.68137号 卢克·塞古芬;西门托伦奇克 4 2011 研究驯服图上的序不变查询的特征。 Zbl 1161.03018号 Michael A.Benedikt。;卢克·塞古芬 4 2009 无处密集图上FO查询的枚举。 Zbl 07679918号 尼科尔·施韦卡特;卢克·塞古芬;亚历山大·维格尼 3 2022 一元否定。 Zbl 1230.03068号 10个Cate,Balder;卢克·塞古芬 3 2011 枚举低度数据库上一阶查询的答案。 Zbl 07566063号 阿诺·杜兰德;尼科尔·施韦卡特;卢克·塞古芬 3 2022 关于一阶拓扑查询。 Zbl 1365.68205号 马丁·格罗;卢克·塞古芬 2 2002 使用视图重写常规路径查询的数据日志。 Zbl 1448.68229号 纳迪米·弗朗西斯;卢克·塞古芬;克里斯蒂娜·西兰吉罗 2 2015 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1202.03047号 米科拉伊·博扬奇克;卢克·塞古芬 2 2010 活跃的无上下文游戏。 Zbl 1122.68468号 安卡·穆斯科尔;托马斯·施文蒂克;卢克·塞古芬 2 2004 活跃的无上下文游戏。 Zbl 1122.91008号 安卡·穆斯科尔;托马斯·施文蒂克;卢克·塞古芬 2 2006 非确定性和奈奇波鲁克下限方法的抽象表述。 Zbl 1427.68103号 比姆,保罗;内森·格罗珊斯;麦肯齐,皮埃尔;卢克·塞古芬 1 2016 数据树和垂直\(\mathsf{XPath}\)上的自动机。 Zbl 1398.68107号 迭戈·菲格拉;卢克·塞古芬 1 2017 决定树上\(\mathrm{FO}^2(<_{\mathbf{v}},<_{\ mathbf}h}})\中的可定义性。 Zbl 1448.03025号 托马斯·普莱斯;卢克·塞古芬 1 2015 恒定延迟计数一瞥(受邀演讲)。 Zbl 1359.68059号 卢克·塞古芬 1 2014 DEDALE原型。 Zbl 0969.68692号 Stéphane Grumbach;菲利普·里戈;米歇尔·斯科尔;卢克·塞古芬 1 2000 构建基于约束的空间数据库系统:模型、语言和实现。 兹比尔1056.68072 菲利普·里戈;米歇尔·斯科尔;卢克·塞古芬;Stéphane Grumbach 1 2003 电路下限的位置。 Zbl 1273.03114号 马修·安德森;Van Melkebeek,迪特;尼科尔·施韦卡特;卢克·塞古芬 1 2012 针对驯服结构上的顺序不变查询的特征。 Zbl 1136.03318号 迈克尔·本尼迪克特;卢克·塞古芬 1 2005 空心树上的序变一阶逻辑。 Zbl 07650836号 朱利安·格兰奇;卢克·塞古芬 1 2020 无处密集图上FO查询的枚举。 Zbl 07679918号 尼科尔·施韦卡特;卢克·塞古芬;亚历山大·维格尼 3 2022 枚举低度数据库上一阶查询的答案。 Zbl 07566063号 阿诺·杜兰德;尼科尔·施韦卡特;卢克·塞古芬 3 2022 空心树上的序变一阶逻辑。 兹伯利07650836 朱利安·格兰奇;卢克·塞古芬 1 2020 具有局部有界扩展的数据库上FO查询的恒定延迟枚举。 兹比尔1402.68052 卢克·塞古芬;亚历山大·维格尼 6 2017 DA中程序对幺半群的威力。 Zbl 1440.68088号 内森·格罗斯尚;麦肯齐,皮埃尔;卢克·塞古芬 4 2017 数据树和垂直\(\mathsf{XPath}\)上的自动机。 Zbl 1398.68107号 迭戈·菲格拉;卢克·塞古芬 1 2017 \数据树、数据树自动机和分支向量加法系统上的(\mathsf{FO}^2(<,+1,\sim)\)。 Zbl 1448.68227号 佛罗伦萨·杰克马尔;卢克·塞古芬;杰雷米·迪米诺 4 2016 非确定性和奈奇波鲁克下限方法的抽象表述。 Zbl 1427.68103号 保罗·比姆;内森·格罗珊斯;麦肯齐,皮埃尔;卢克·塞古芬 1 2016 谨慎的否定。 Zbl 1333.68133号 文斯·巴拉尼;10个Cate,Balder;卢克·塞古芬 13 2015 使用视图重写常规路径查询的数据日志。 Zbl 1448.68229号 纳迪米·弗朗西斯;卢克·塞古芬;克里斯蒂娜·西兰吉罗 2 2015 决定树上\(\mathrm{FO}^2(<_{\mathbf{v}},<_{\ mathbf}h}})\中的可定义性。 Zbl 1448.03025号 托马斯·普莱斯;卢克·塞古芬 1 2015 恒定延迟计数一瞥(受邀演讲)。 Zbl 1359.68059号 卢克·塞古芬 1 2014 树上一元二阶查询的枚举。 Zbl 1353.68068号 沃伊切赫·卡扎纳;卢克·塞古芬 25 2013 一元否定。 Zbl 1285.03004号 卢克·塞古芬;10个Cate,Balder 7 2013 分段可测试树语言。 Zbl 1261.03126号 Mikołaj博扬奇克;卢克·塞古芬;霍华德·斯特劳宾 13 2012 电路下限的位置。 Zbl 1273.03114号 马修·安德森;Van Melkebeek,迪特;尼科尔·施韦卡特;卢克·塞古芬 1 2012 数据字上的双变量逻辑。 兹比尔1352.03041 Mikołaj博扬奇克;克莱尔·大卫;安卡·穆斯科尔;托马斯·施文蒂克;卢克·塞古芬 55 2011 数据树和垂直XPath上的自下而上自动机。 Zbl 1230.68128号 迭戈·菲格拉;卢克·塞古芬 8 2011 局部可测试树语言的可判定特征。 Zbl 1237.68119号 托马斯·普莱斯;卢克·塞古芬 6 2011 谨慎的否定。 Zbl 1333.68132号 文斯·巴拉尼;ten Cate,鲍德;卢克·塞古芬 5 2011 线性排序数据域上基于自动化的验证。 Zbl 1230.68137号 卢克·塞古芬;西门托伦奇克 4 2011 一元否定。 Zbl 1230.03068号 10个Cate,Balder;卢克·塞古芬 3 2011 传递闭包逻辑、嵌套树遍历自动机和XPath。 Zbl 1327.03024号 10个Cate,Balder;卢克·塞古芬 13 2010 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1202.03047号 米科拉伊·博扬奇克;卢克·塞古芬 2 2010 数据树上的双变量逻辑和XML推理。 Zbl 1325.68078号 米科拉伊·博扬奇克;安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 38 2009 可在FO和FO\(_{\mathrm{mod}}\)中定义的正则树语言。 Zbl 1351.68134号 迈克尔·本尼迪克特;卢克·塞古芬 8 2009 数据字和树上的面向未来的逻辑。 Zbl 1250.03050号 迭戈·菲格拉;卢克·塞古芬 6 2009 研究驯服图上的序不变查询的特征。 Zbl 1161.03018号 Michael A.Benedikt。;卢克·塞古芬 4 2009 用一阶逻辑定义的带有一个量词交替的树语言。 Zbl 1170.03019号 Mikołaj博扬奇克;卢克·塞古芬 4 2008 卵石树行走自动机的复杂性。 Zbl 1135.68459号 马蒂亚斯·萨缪里德斯;卢克·塞古芬 6 2007 无限字母表上单词和树的自动机和逻辑。 Zbl 1225.68103号 卢克·塞古芬 42 2006 卵石自动机的表现力。 兹比尔1223.68065 Mikołaj博扬奇克;马蒂亚斯·萨缪里德斯;托马斯·施温蒂克;卢克·塞古芬 10 2006 补充确定性树行走自动机。 Zbl 1184.68324号 安卡·穆斯科尔;马蒂亚斯·萨缪里德斯;卢克·塞古芬 9 2006 活跃的无上下文游戏。 Zbl 1122.91008号 安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 2 2006 XPath查询求值和XML类型的复杂性。 Zbl 1317.68073号 乔治·戈特洛布;克里斯托弗·科赫;莱因哈德·皮克勒;卢克·塞古芬 11 2005 FO中可定义的常规树语言。 Zbl 1118.03314号 迈克尔·本尼迪克特;卢克·塞古芬 10 2005 针对驯服结构上的顺序不变查询的特征。 Zbl 1136.03318号 迈克尔·本尼迪克特;卢克·塞古芬 1 2005 活跃的无上下文游戏。 Zbl 1122.68468号 安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 2 2004 字符串上的可定义关系和一阶查询语言。 Zbl 1325.03031号 迈克尔·本尼迪克特;利奥尼德·利金;托马斯·施温蒂克;卢克·塞古芬 14 2003 约束数据库中的可达性和连接性查询。 Zbl 1026.68036号 迈克尔·本尼迪克特;马丁·格罗;利奥尼德·利金;卢克·塞古芬 4 2003 构建基于约束的空间数据库系统:模型、语言和实现。 Zbl 1056.68072号 菲利普·里戈;米歇尔·斯科尔;卢克·塞古芬;Stéphane Grumbach 1 2003 关于一阶拓扑查询。 Zbl 1365.68205号 马丁·格罗;卢克·塞古芬 2 2002 什么时候可以处理对连接查询的评估? Zbl 1323.68251号 马丁·格罗;托马斯·施文蒂克;卢克·塞古芬 39 2001 通过拓扑不变量查询空间数据库。 Zbl 0963.68058号 卢克·塞古芬;维克多·维亚努 6 2000 DEDALE原型。 Zbl 0969.68692号 Stéphane Grumbach;菲利普·里戈;米歇尔·斯科尔;卢克·塞古芬 1 2000 所有引用出版物 前5名被引用出版物 全部的 前5名421位作者引用 10 卢克·塞古芬 9 Michael A.Benedikt。 9 托马斯·施温蒂克 8 贝内迪克特·博利格 7 尼科尔·施韦卡特 6 Mikołaj博扬奇克 6 迭戈·菲格拉 6 Leonid O·利金。 6 马克·罗斯 5 保罗·加斯廷 5 伊曼纽尔·基伦斯基 5 兰科·拉齐奇 5 维姆·马滕斯 5 斯特凡·门格尔 5 Andrzej S.穆拉夫斯基。 5 亚历山大·奥霍金 5 施密茨,西尔万 5 托尼·谭 5 十个Cate,Balder David 5 沃尔夫冈·托马斯 4 塞尔吉奥·阿布里奥拉 4 安托万·阿马里利 4 巴勃罗·巴塞洛 4 皮埃尔·布赫斯 4 Stéphane P.德姆里。 4 乔治·戈特洛布 4 海姆,皮尔雷·科里尔 4 马库斯·洛伊 4 奥尔加·马蒂诺娃 4 菲利普·马佐维耶基 4 弗朗西斯科·斯卡切罗 4 弘久世奇(Hiroyuki Seki) 4 吉崎隆田 3 拉杰夫·阿鲁尔 3 文斯·巴拉尼 3 巴托斯·贝德纳西克 3 亨利克·比约克隆德 3 维托尔德·查拉托尼克 3 克里斯蒂安·乔夫鲁特 3 克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano) 3 沃伊切赫,切尔文斯基 3 克莱尔·大卫 3 乔斯特·恩格尔弗里特 3 艾西克,佐尔坦 3 莱奥·埃克巴德 3 劳尔·费尔瓦里 3 圣地亚哥菲格拉 3 艾曼纽·菲利奥特 3 弗洛里斯·吉尔茨 3 吉安路易吉·格雷科 3 谢尔盖·格里戈里夫 3 文森特·雨果特 3 让·克里斯托夫·荣格 3 艾哈迈特·卡拉 3 贾库布·米查利辛 3 斯特凡·米利厄斯 3 菲利普·莫拉克 3 约阿希姆·尼伦 3 奥托普,简 3 卡琳·夸斯 3 阿诺德·桑尼尔 3 皮埃尔·塞内拉特 3 克里斯托弗·斯宾拉斯 3 伊戈尔·瓦卢基维奇 3 菲利普·威尼茨 3 斯坦尼斯拉夫·伊文 2 谢尔盖·阿比特布尔 2 卡洛斯·阿雷塞斯 2 帕瓦内·巴巴里 2 克里斯托夫·伯克霍尔茨 2 贝内迪克特·布吕奇 2 安德烈·布拉托夫(Andrei A.Bulatov)。 2 诺法尔·卡梅利 2 陈,胡比 2 康拉德·科顿-巴拉特 2 布鲁诺·库塞尔 2 克里斯托弗·齐巴 2 维克托·达尔摩 2 诺曼·戴克 2 皮耶保罗·德加诺 2 戴尔、霍尔格 2 玛丽亚·艾米丽亚·德斯科特 2 Deters,摩根 2 曼弗雷德·德罗斯特 2 阿诺·杜兰德 2 吉安·路易吉,法拉利 2 达纳·菲斯曼 2 雅各布·福克 2 玛丽·何塞·福廷 2 马丁·格罗 2 古哈,柴桥 2 马克·吉森 2 Miika Hannula公司 2 福尔克·豪尔 2 阿伊拉特·哈利莫夫 2 斯坦尼斯拉夫·基科特 2 巴托克·克林 2 奥尔加·库什纳伦科 2 马库斯·克雷尔 2 Bart H.M.Kuijpers。 …还有321名作者 全部的 前5名43篇连载文章中引用 29 理论计算机科学 23 计算机与系统科学杂志 21 计算机科学中的逻辑方法 17 计算系统理论 11 ACM计算逻辑事务 9 信息与计算 7 信息处理信件 6 信息学报 4 人工智能 4 系统设计中的形式化方法 4 美国医学会杂志 3 符号逻辑杂志 3 SIAM计算机杂志 3 自动推理杂志 2 纯逻辑与应用逻辑年鉴 2 SIAM离散数学杂志 2 MSCS公司。计算机科学中的数学结构 2 国际计算机科学基础杂志 1 离散应用数学 1 信息科学 1 Studia Logica公司 1 欧洲组合数学杂志 1 图与组合 1 新一代计算 1 算法 1 并行与分布式计算杂志 1 分布式计算 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 数学科学杂志(纽约) 1 数学逻辑季刊(MLQ) 1 组合数学电子杂志 1 数学与人工智能年鉴 1 限制条件 1 武汉大学自然科学学报 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 ACM实验算法杂志 1 应用逻辑杂志 1 ACM算法事务 1 ACM计算理论汇刊 1 程序设计中的逻辑和代数方法杂志 全部的 前5名13个领域引用 270 计算机科学(68至XX) 111 数学逻辑和基础(03-XX) 20 组合数学(05-XX) 4 群论与推广(20-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 一般代数系统(08-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 代数几何(14-XX) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 流形和细胞复合体(57至XX) 按年份列出的引文