Publikationen von Michael Holtmann
Alle Publikationen
| [Hol07] |
M. Holtmann.
Memory Reduction for Strategies in Infinite Games.
Diploma Thesis (revised version), RWTH Aachen, 2007. [ pdf | ps | Abstract ] |
| [HL07] |
Michael Holtmann and Christof Löding.
Memory Reduction for Strategies in Infinite Games.
In Jan Holub and Jan Zdárek, editors, Implementation and
Application of Automata, 12th International Conference, CIAA 2007, Prague,
Czech Republic, July 16-18, 2007, Revised Selected Papers, volume 4783 of
Lecture Notes in Computer Science, pages 253-264. Springer, 2007. [ pdf | ps | Abstract ] |