Author of the publication

A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games.

, and . Discret. Appl. Math., 155 (2): 210-229 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Cyclic games and linear programming.. Discret. Appl. Math., 156 (11): 2195-2231 (2008)Structural Decidable Extensions of Bounded Quantification.. POPL, page 164-175. ACM Press, (1995)On the Bounded Theories of Finite Frees.. ASIAN, volume 1179 of Lecture Notes in Computer Science, page 152-161. Springer, (1996)The most nonelementary theory.. Inf. Comput., 190 (2): 196-219 (2004)The "Hardest" Natural Decidable Theory.. LICS, page 294-305. IEEE Computer Society, (1997)Could Orders Be Captured By Term Rewriting Systems?. CTRS, volume 656 of Lecture Notes in Computer Science, page 315-327. Springer, (1992)Complexity of Nonrecursive Logic Programs with Complex Values., and . PODS, page 244-253. ACM Press, (1998)An Improved Lower Bound for the Elementary Theories of Trees.. CADE, volume 1104 of Lecture Notes in Computer Science, page 275-287. Springer, (1996)The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable.. RTA, volume 1232 of Lecture Notes in Computer Science, page 254-268. Springer, (1997)Linear Complementarity and P-Matrices for Stochastic Games., and . Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, page 409-423. Springer, (2006)