首页期刊浏览 2025年02月17日星期一

登录注册

全文

	有本地全文	13篇
	有全文链接	1篇

出版年度

	2022	1篇
	2020	1篇
	2017	2篇
	2016	1篇
	2015	2篇

	2014	1篇
	2013	1篇
	2012	1篇
	2011	3篇
	2009	1篇

作者

	Luc Segoufin	14篇
	Alexandre Vigny	1篇
	Arnaud Durand	1篇
	Balder Cate	1篇
	Balder ten Cate	1篇

	Cristina Sirangelo	1篇
	Diego Figueira	1篇
	Florent Jacquemard	1篇
	Howard Straubing	1篇
	Julien Grange	1篇
	Jérémie Dimino	1篇
	Mikołaj Bojańczyk	1篇
	Nadime Francis	1篇
	Nathan Grosshans	1篇
	Nicole Schweikardt	1篇
	Pierre McKenzie	1篇
	Serge Abiteboul	1篇
	Szymon Torunczyk	1篇
	Thomas Place	1篇
	Victor Vianu	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Logical Methods in Computer Science	6篇
	Bulletin of the Technical Committee on Data Engineering	1篇

学科主题

计算技术、计算机技术

14篇

语种

英文

14篇

国别/地区

	德国	13篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Luc Segoufin")))) )) ) )"

共 14 条记录

排序：全选导出：

1.Modeling and Verifying Active XML Artifacts

作　　者：Serge Abiteboul ;Luc Segoufin ;Victor Vianu

出　　处：Bulletin of the Technical Committee on Data Engineering. 2009 ;32(03).

出版社：IEEE Computer Society

文章 ID：47427344

文章详细全文下载
2.Order-Invariant First-Order Logic over Hollow Trees

作　　者：Julien Grange ;Luc Segoufin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.23

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494224

文章详细全文下载
3.Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion

作　　者：Luc Segoufin ;Alexandre Vigny

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:20:1-20:16.doi:10.4230/LIPIcs.ICDT.2017.20

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698408

文章详细全文下载
4.The Power of Programs over Monoids in DA

作　　者：Nathan Grosshans ;Pierre McKenzie ;Luc Segoufin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:2:1-2:20.doi:10.4230/LIPIcs.MFCS.2017.2

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510047

文章详细全文下载
5.Piecewise testable tree languages

作　　者：Mikołaj Bojańczyk ;Luc Segoufin ;Howard Straubing

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:26)2012

出版社：Technical University of Braunschweig

文章 ID：264691985

文章详细全文下载
6.Unary negation

作　　者：Luc Segoufin ;Balder Cate

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:25)2013

出版社：Technical University of Braunschweig

文章 ID：264692019

文章详细全文下载
7.Deciding definability in FO2(

作　　者：Thomas Place ;Luc Segoufin

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:5)2015

出版社：Technical University of Braunschweig

文章 ID：264692064

文章详细全文下载
8.FO2(<, 1,~) on data trees, data tree automata and branching vector addition systems

作　　者：Florent Jacquemard ;Luc Segoufin ;Jérémie Dimino

出　　处：Logical Methods in Computer Science. 2016 ;12(2):1.doi:10.2168/LMCS-12(2:3)2016

出版社：Technical University of Braunschweig

文章 ID：264692096

文章详细全文下载
9.Datalog Rewritings of Regular Path Queries using Views

作　　者：Nadime Francis ;Luc Segoufin ;Cristina Sirangelo

出　　处：Logical Methods in Computer Science. 2015 ;11(4):1.doi:10.2168/LMCS-11(4:14)2015

出版社：Technical University of Braunschweig

文章 ID：264692113

文章详细全文下载
10.Automata based verification over linearly ordered data domains

作　　者：Luc Segoufin ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:81-92.doi:10.4230/LIPIcs.STACS.2011.81

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845805

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有