1.Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth

作　　者：Mateus de Oliveira Oliveira

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;63:25:1-25:12.doi:10.4230/LIPIcs.IPEC.2016.25

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

文章 ID：191698323

文章详细全文下载

2.Revisiting the Parameterized Complexity of Maximum-Duo Preservation String Mapping

作　　者：Christian Komusiewicz ;Mateus de Oliveira Oliveira ;Meirav Zehavi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;78:11:1-11:17.doi:10.4230/LIPIcs.CPM.2017.11

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

文章 ID：198371934

文章详细全文下载

3.Representations of Monotone Boolean Functions by Linear Programs

作　　者：Mateus de Oliveira Oliveira ;Pavel Pudl{\'a}k

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;79:3:1-3:14.doi:10.4230/LIPIcs.CCC.2017.3

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

文章 ID：200734923

文章详细全文下载

4.On Supergraphs Satisfying CMSO Properties

作　　者：Mateus de Oliveira Oliveira

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:33:1-33:15.doi:10.4230/LIPIcs.CSL.2017.33

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

文章 ID：200735099

文章详细全文下载

5.Representations of Monotone Boolean Functions by Linear Programs

作　　者：Mateus de Oliveira Oliveira ;Pavel Pudlak

出　　处：Electronic Colloquium on Computational Complexity. 2017 ;2017.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：207621356

文章详细全文下载

6.Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach

作　　者：Lars Jaffke ;Mateus de Oliveira Oliveira ;Hans Raj Tiwary

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:50:1-50:15.doi:10.4230/LIPIcs.MFCS.2020.50

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

文章 ID：255822960

文章详细全文下载

7.Width Notions for Ordering-Related Problems

作　　者：Emmanuel Arrighi ;Henning Fernau ;Mateus de Oliveira Oliveira 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-18.doi:10.4230/LIPIcs.FSTTCS.2020.9

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

文章 ID：257805079

文章详细全文下载

8.Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function

作　　者：Mateus de Oliveira Oliveira

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:56:1-56:14.doi:10.4230/LIPIcs.STACS.2016.56

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

文章 ID：186847269

文章详细全文下载

9.A Strongly-Uniform Slicewise Polynomial-Time Algorithm for the Embedded Planar Diameter Improvement Problem

作　　者：Daniel Lokshtanov ;Mateus de Oliveira Oliveira ;Saket Saurabh

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;115:1-13.doi:10.4230/LIPIcs.IPEC.2018.25

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

文章 ID：230438726

文章详细全文下载

10.ON SUPERGRAPHS SATISFYING CMSO PROPERTIES

作　　者：Mateus de Oliveira Oliveira

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-22.doi:10.46298/lmcs-17(4:14)2021

出版社：Technical University of Braunschweig

文章 ID：1038046908

文章详细

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

	Henning Fernau	1篇
	Lars Jaffke	1篇
	Meirav Zehavi	1篇
	Pavel Pudlak	1篇
	Pavel Pudl{\'a}k	1篇
	Petra Wolf	1篇
	Saket Saurabh	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mateus de Oliveira Oliveira")))) )) ) )"

	Mateus de Oliveira Oliveira	10篇
	Christian Komusiewicz	1篇
	Daniel Lokshtanov	1篇
	Emmanuel Arrighi	1篇
	Hans Raj Tiwary	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Electronic Colloquium on Computational Complexity	1篇
	Logical Methods in Computer Science	1篇