1.Transforming Structures by Set Interpretations

作　　者：Thomas Colcombet ;Christof Löding

出　　处：Logical Methods in Computer Science. 2007 ;3(02).doi:10.2168/LMCS-3(2:4)2007

出版社：Technical University of Braunschweig

文章 ID：46838665

文章详细全文下载

2.On Reachability Problems for Low-Dimensional Matrix Semigroups

作　　者：Thomas Colcombet ;Jo{"e}l Ouaknine ;Pavel Semukhin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.44

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

文章 ID：238892179

文章详细全文下载

3.Automata in the Category of Glued Vector Spaces

作　　者：Thomas Colcombet ;Daniela Petrisan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:52:1-52:14.doi:10.4230/LIPIcs.MFCS.2017.52

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

文章 ID：205510100

文章详细全文下载

4.Automata Minimization: a Functorial Approach

作　　者：Thomas Colcombet ;Daniela Petrisan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;72:8:1-8:16.doi:10.4230/LIPIcs.CALCO.2017.8

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

文章 ID：205510176

文章详细全文下载

5.Learning Automata and Transducers: A Categorical Approach

作　　者：Thomas Colcombet ;Daniela PetriÅYan ;Riccardo Stabile

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:15:1-15:17.doi:10.4230/LIPIcs.CSL.2021.15

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

文章 ID：258514177

文章详细全文下载

6.Cost Automata, Safe Schemes, and Downward Closures

作　　者：David Barozzini ;Lorenzo Clemente ;Thomas Colcombet 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:109:1-109:18.doi:10.4230/LIPIcs.ICALP.2020.109

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

文章 ID：255823144

文章详细全文下载

7.Unambiguous Separators for Tropical Tree Automata

作　　者：Thomas Colcombet ;Sylvain Lombardy

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:32:1-32:13.doi:10.4230/LIPIcs.STACS.2020.32

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

文章 ID：255823571

文章详细全文下载

8.Regular Cost Functions, Part I: Logic and Algebra over Words

作　　者：Thomas Colcombet

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

出版社：Technical University of Braunschweig

文章 ID：264692014

文章详细全文下载

9.Logics with rigidly guarded data tests

作　　者：Gabriele Puppis ;Thomas Colcombet ;Clemens Ley

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

出版社：Technical University of Braunschweig

文章 ID：264692079

文章详细全文下载

10.Forms of Determinism for Automata (Invited Talk)

作　　者：Thomas Colcombet

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:1-23.doi:10.4230/LIPIcs.STACS.2012.1

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

文章 ID：186846011

文章详细全文下载

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

	2021	2篇
	2020	2篇
	2019	1篇
	2017	2篇
	2016	3篇

	Thomas Colcombet	20篇
	Amaldev Manuel	4篇
	Daniela Petrisan	2篇
	Denis Kuperberg	2篇
	Achim Blumensath	1篇

	Christof L{\"o}ding	1篇
	Christof Löding	1篇
	Clemens Ley	1篇
	Daniela PetriÅYan	1篇
	David Barozzini	1篇
	Florian Horn	1篇
	Gabriele Puppis	1篇
	James Worrell	1篇
	Jo{"e}l Ouaknine	1篇
	Laure Daviaud	1篇
	Lorenzo Clemente	1篇
	Michael Vanden Boom	1篇
	Nathanael Fijalkow	1篇
	Nathana{\"e}l Fijalkow	1篇
	Nathanaël Fijalkow	1篇
	Pavel Semukhin	1篇
	Pawel Parys	1篇
	PaweÅ, Parys	1篇
	Pierre Ohlmann	1篇
	Riccardo Stabile	1篇
	Sylvain Lombardy	1篇
	Szymon Torunczyk	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Thomas Colcombet")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	16篇
	Logical Methods in Computer Science	4篇