1.On the Complexity of Quantified Integer Programming

作　　者：Dmitry Chistikov ;Christoph Haase

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:94:1-94:13.doi:10.4230/LIPIcs.ICALP.2017.94

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

文章 ID：198372048

文章详细全文下载

2.Counting Problems for Parikh Images

作　　者：Christoph Haase ;Stefan Kiefer ;Markus Lohrey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:12:1-12:13.doi:10.4230/LIPIcs.MFCS.2017.12

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

文章 ID：205510027

文章详细全文下载

3.On the Size of Finite Rational Matrix Semigroups

作　　者：Georgina Bumpus ;Christoph Haase ;Stefan Kiefer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:115:1-115:13.doi:10.4230/LIPIcs.ICALP.2020.115

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

文章 ID：255823150

文章详细全文下载

4.On the Power of Ordering in Linear Arithmetic Theories

作　　者：Dmitry Chistikov ;Christoph Haase

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:119:1-119:15.doi:10.4230/LIPIcs.ICALP.2020.119

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

文章 ID：255823154

文章详细全文下载

5.The Power of Priority Channel Systems

作　　者：Christoph Haase ;Sylvain Schmitz ;Philippe Schnoebelen

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

出版社：Technical University of Braunschweig

文章 ID：264692174

文章详细全文下载

6.Tightening the Complexity of Equivalence Problems for Commutative Grammars

作　　者：Christoph Haase ;Piotr Hofman

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

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

文章 ID：186847254

文章详细全文下载

7.A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One

作　　者：Stefan G{\"o}ller ;Christoph Haase ;Ranko Lazic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:105:1-105:13.doi:10.4230/LIPIcs.ICALP.2016.105

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

文章 ID：186847702

文章详细全文下载

8.The Taming of the Semi-Linear Set

作　　者：Dmitry Chistikov ;Christoph Haase

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:128:1-128:13.doi:10.4230/LIPIcs.ICALP.2016.128

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

文章 ID：186847725

文章详细全文下载

9.Affine Extensions of Integer Vector Addition Systems with States

作　　者：Michael Blondin ;Christoph Haase ;Filip Mazowiecki

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.14

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

文章 ID：230213326

文章详细全文下载

	Jonathan Tanner	1篇
	Markus Lohrey	1篇
	Michael Blondin	1篇
	Patrick Totzke	1篇
	Paul-Ioan Stoienescu	1篇
	Philippe Schnoebelen	1篇
	Piotr Hofman	1篇
	Ranko Lazic	1篇
	Stefan G{\"o}ller	1篇
	Sylvain Schmitz	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Christoph Haase")))) )) ) )"

	Christoph Haase	9篇
	Dmitry Chistikov	3篇
	Stefan Kiefer	2篇
	Filip Mazowiecki	1篇
	Georgina Bumpus	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Logical Methods in Computer Science	1篇