Leibniz International Proceedings in Informatics (LIPIcs)
Collection
Collection
- ISSN: 1868-8969
Published by Schloss Dagstuhl - Leibniz Center of Informatics
-
Graph Games on Ordinals In Proceedings
December 2008
-
Explicit Muller Games are PTIME In Proceedings
December 2008
-
Random Fruits on the Zielonka Tree In Proceedings
February 2009
-
January 2010
-
Round Elimination in Exact Communication Complexity In Proceedings
J. Briët (Jop), H.M. Buhrman (Harry), D. Leung, T. Piovesan (Teresa) and F. Speelman (Florian)
January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings
J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)
January 2015
-
On algebraic branching programs of small width In Proceedings
K. Bringmann (Karl), Ch. Ikenmeyer (Christian) and J. Zuiddam (Jeroen)
July 2017 -
On the integrality gap of the prize-collecting Steiner forest LP In Proceedings
J. Könemann (Jochen), N.K. Olver (Neil), K. Pashkovich (Kanstantsin), R. Ravi, C. Swamy (Chaitanya) and J. Vygen (Jens)
August 2017