×
作者ID: 塞古芬.luc“Segoufin,Luc”最近发表的zbMATH文章
发布日期: 卢克·塞古芬
外部链接: MGP公司
编入索引的文档: 55出版物自2000年起
合著者: 38位合著者具有52联合出版物
881位联合作者

按年份列出的出版物

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名

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名作者

按年份列出的引文