Ludek Matyska Michal Kozubek Tomás Vojnar Pavel Zemcík David Antos Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic 978-3-939897-22-4 MEMICS Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011 16 OASICS db/conf/memics/memics2010.html