@incollection{Atserias/09,
AUTHOR = {Atserias, Albert},
TITLE = {Four subareas of the theory of constraints, and their links},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {1-1},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/w420u03713xt70l6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caucal/09,
AUTHOR = {Caucal, Didier},
TITLE = {Synchronization of regular automata},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {2-23},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/d02w0gn81t12g473/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Esparza/09,
AUTHOR = {Esparza, Javier},
TITLE = {Stochastic process creation},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {24-33},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/e6p9472k86441263/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee-Henzinger-Horn/09,
AUTHOR = {Chatterjee, Krishnendu and Henzinger, Thomas A. and Horn, Florian},
TITLE = {Stochastic games with finitary objectives},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {34-54},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/7501358862t42231/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Muthukrishnan/09a,
AUTHOR = {Muthukrishnan, S.},
TITLE = {Stochastic data streams},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {55-55},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/f05167751685n160/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatzigiannakis-Michail-Spirakis/09a,
AUTHOR = {Chatzigiannakis, Ioannis and Michail, Othon and Spirakis, Paul G.},
TITLE = {Recent advances in population protocols},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {56-76},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/04357n3084x10071/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Widmayer/09,
AUTHOR = {Widmayer, Peter},
TITLE = {How to sort a train},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {77-77},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/y4823u7884341677/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arvind-Joglekar/09,
AUTHOR = {Arvind, Vikraman and Joglekar, Pushkar S.},
TITLE = {Arithmetic circuits, monomial algebras and finite automata},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {78-89},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/j2kx0811u038jg45/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Athanassopoulos-Caragiannis-Kaklamanis-Kyropoulou/09,
AUTHOR = {Athanassopoulos, Stavros and Caragiannis, Ioannis and Kaklamanis, Christos and Kyropoulou, Maria},
TITLE = {An improved approximation bound for spanning star forest and color saving},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {90-101},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/kj1486v0465436q8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Athanassopoulos-Caragiannis-Kaklamanis-Papaioannou/09,
AUTHOR = {Athanassopoulos, Stavros and Caragiannis, Ioannis and Kaklamanis, Christos and Papaioannou, Evi},
TITLE = {Energy-efficient communication in multi-interface wireless networks},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {102-111},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/745569r707428513/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Auletta-Penna-Persiano/09,
AUTHOR = {Auletta, Vincenzo and Penna, Paolo and Persiano, Giuseppe},
TITLE = {Private capacities in mechanism design},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {112-123},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/em12123371512676/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Betzler-Dorn/09,
AUTHOR = {Betzler, Nadja and Dorn, Britta},
TITLE = {Towards a dichotomy of finding possible winners in elections based on scoring rules},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {124-136},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/pq1u315770072l4w/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bezakova-Rummler/09,
AUTHOR = {Bez{\'a}kov{\'a}, Ivona and Rummler, William A.},
TITLE = {Sampling edge covers in 3-regular graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {137-148},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/81w7x51kt8227v13/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bianco-Faella-Mogavero-Murano/09,
AUTHOR = {Bianco, Alessandro and Faella, Marco and Mogavero, Fabio and Murano, Aniello},
TITLE = {Balanced paths in colored graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {149-161},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/y5141n2077602533/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borchert-McKenzie-Reinhardt/09,
AUTHOR = {Borchert, Bernd and McKenzie, Pierre and Reinhardt, Klaus},
TITLE = {Few product gates but many zeros},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {162-174},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/lu2852k4117582q1/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Braverman-Cook-McKenzie-Santhanam-Wehr/09,
AUTHOR = {Braverman, Mark and Cook, Stephen and McKenzie, Pierre and Santhanam, Rahul and Wehr, Dustin},
TITLE = {Branching programs for tree evaluation},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {175-186},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/l01x516814457105/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Briquel-Koiran/09,
AUTHOR = {Briquel, Ir{\'e}n{\'e}e and Koiran, Pascal},
TITLE = {A dichotomy theorem for polynomial evaluation},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {187-198},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/r2092283406h5463/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cao-Culberson-Stewart/09,
AUTHOR = {Cao, Yi and Culberson, Joseph and Stewart, Lorna},
TITLE = {$DP$-complete problems derived from extremal $NP$-complete properties},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {199-210},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/252667tml5714541/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carpi-DaAlessandro/09,
AUTHOR = {Carpi, Arturo and D{\'a}Alessandro, Flavio},
TITLE = {The synchronization problem for locally strongly transitive automata},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {211-222},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/jt35t855j61n248x/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chapelle-Mazoit-Todinca/09,
AUTHOR = {Chapelle, Mathieu and Mazoit, Fr{\'e}d{\'e}ric and Todinca, Ioan},
TITLE = {Constructing brambles},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {223-234},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/u04568611u7p7848/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Claude-Navarro/09,
AUTHOR = {Claude, Francisco and Navarro, Gonzalo},
TITLE = {Self-indexed text compression using straight-line programs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {235-246},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/k18282420j5207v4/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{DaArco-De_Santis-Ferrara-Masucci/09,
AUTHOR = {D{\'a}Arco, Paolo and De Santis, Alfredo and Ferrara, Anna Lisa and Masucci, Barbara},
TITLE = {Security and tradeoffs of the Akl-Taylor scheme and its variants},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {247-257},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/cw5t551t444372v1/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dawar-He/09,
AUTHOR = {Dawar, Anuj and He, Yuguo},
TITLE = {Parameterized complexity classes under logical reductions},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {258-269},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/l408249664943648/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Degorre-Kaplan-Laplante-Roland/09,
AUTHOR = {Degorre, Julien and Kaplan, Marc and Laplante, Sophie and Roland, J{\'e}r{\'e}mie},
TITLE = {The communication complexity of non-signaling distributions},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {270-281},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/d1g73p788l763404/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dragan-Xiang/09,
AUTHOR = {Dragan, Feodor F. and Xiang, Yang},
TITLE = {How to use spanning trees to navigate in graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {282-294},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/dp35251h237552w1/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {extended abstract},
}
@incollection{Dutta-Kurur/09,
AUTHOR = {Dutta, Sagarmoy and Kurur, Piyush P.},
TITLE = {Representing groups on graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {295-306},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/63756322874l2550/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Faella/09,
AUTHOR = {Faella, Marco},
TITLE = {Admissible strategies in infinite games over graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {307-318},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/n331t35531t805w6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fellows-Guo-Moser-Niedermeier/09,
AUTHOR = {Fellows, Michael R. and Guo, Jiong and Moser, Hannes and Niedermeier, Rolf},
TITLE = {A complexity dichotomy for finding disjoint solutions of vertex deletion problems},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {319-330},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/u8k31l0332657154/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Figueira-Segoufin/09,
AUTHOR = {Figueira, Diego and Segoufin, Luc},
TITLE = {Future-looking logics on data words and trees},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {331-343},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/c4125226g830516p/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gaboardi-Roversi-Vercelli/09,
AUTHOR = {Gaboardi, Marco and Roversi, Luca and Vercelli, Luca},
TITLE = {A by-level analysis of multiplicative exponential linear logic},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {344-355},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/v5vq411k0p245154/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gawrychowski-Jez/09,
AUTHOR = {Gawrychowski, Pawe{\l} and Je{\.z}, Artur},
TITLE = {Hyper-minimisation made efficient},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {356-368},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/dk21234j52u317r2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gelade-Gyssens-Martens/09,
AUTHOR = {Gelade, Wouter and Gyssens, Marc and Martens, Wim},
TITLE = {Regular expressions with counting: Weak versus strong determinism},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {369-381},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/m33k21j671875545/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Golovach-Heggernes/09,
AUTHOR = {Golovach, Petr A. and Heggernes, Pinar},
TITLE = {Choosability of $P_5$-free graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {382-391},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/11m48hl2800k5447/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Holzl-Kraling-Merkle/09,
AUTHOR = {H{\"o}lzl, Rupert and Kr{\"a}ling, Thorsten and Merkle, Wolfgang},
TITLE = {Time-bounded Kolmogorov complexity and Solovay functions},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {392-402},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/1n836w5130641476/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ioannidou-Mertzios-Nikolopoulos/09,
AUTHOR = {Ioannidou, Kyriaki and Mertzios, George B. and Nikolopoulos, Stavros D.},
TITLE = {The longest path problem is polynomial on interval graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {403-414},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/q0073w0860u3r2q8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kaiser/09,
AUTHOR = {Kaiser, {\L}ukasz},
TITLE = {Synthesis for structure rewriting systems},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {415-426},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/h33048741w688x21/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kara-Weber-Lange-Schwentick/09,
AUTHOR = {Kara, Ahmet and Weber, Volker and Lange, Martin and Schwentick, Thomas},
TITLE = {On the hybrid extension of CTL and CTL$^+$},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {427-438},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/21g627n700h4n357/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kari-Vanier-Zeume/09,
AUTHOR = {Kari, Jarkko and Vanier, Pascal and Zeume, Thomas},
TITLE = {Bounds on non-surjective cellular automata},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {439-450},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/t7823223k274t5xk/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kartzow/09,
AUTHOR = {Kartzow, Alexander},
TITLE = {FO model checking on nested pushdown trees},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {451-463},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/u14u7056k3422416/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kesner-Renaud/09,
AUTHOR = {Kesner, Delia and Renaud, Fabien},
TITLE = {The prismoid of resources},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {464-476},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/kt7307196296126x/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Khoussainov-Liu-Khaliq/09,
AUTHOR = {Khoussainov, Bakhadyr and Liu, Jiamou and Khaliq, Imran},
TITLE = {A dynamic algorithm for reachability games played on trees},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {477-488},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/vr1g77267833011l/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kirsten/09,
AUTHOR = {Kirsten, Daniel},
TITLE = {An algebraic characterization of semirings for which the support of every recognizable series is recognizable},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {489-500},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/54w372155g058076/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kosowski-Navarra/09,
AUTHOR = {Kosowski, Adrian and Navarra, Alfredo},
TITLE = {Graph decomposition for improving memoryless periodic exploration},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {501-512},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/p7621862522032x2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kufleitner-Weil/09,
AUTHOR = {Kufleitner, Manfred and Weil, Pascal},
TITLE = {On FO$^2$ quantifier alternation over words},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {513-524},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/y14628436m224811/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Karki-Lacroix-Rigo/09,
AUTHOR = {K{\"a}rki, Tomi and Lacroix, Anne and Rigo, Michel},
TITLE = {On the recognizability of self-generating sets},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {525-536},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/8362154333378005/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kobler-Kuhnert/09,
AUTHOR = {K{\"o}bler, Johannes and Kuhnert, Sebastian},
TITLE = {The isomorphism problem for $k$-trees is complete for logspace},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {537-548},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/lt34731462573047/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lonati-Pradella/09,
AUTHOR = {Lonati, Violetta and Pradella, Matteo},
TITLE = {Snake-deterministic tiling systems},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {549-560},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/p6k2735034578h26/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Madhusudan-Viswanathan/09,
AUTHOR = {Madhusudan, P. and Viswanathan, Mahesh},
TITLE = {Query automata for nested words},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {561-573},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/p142475714113748/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Manzonetto/09,
AUTHOR = {Manzonetto, Giulio},
TITLE = {A general class of models of $\mathcal H^*$},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {574-586},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/q48x1206p224k354/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Meier-Mundhenk-Schneider-Thomas-Weber-Weiss/09,
AUTHOR = {Meier, Arne and Mundhenk, Martin and Schneider, Thomas and Thomas, Michael and Weber, Volker and Weiss, Felix},
TITLE = {The complexity of satisfiability for fragments of hybrid logic --- Part I},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {587-599},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/g0u9303018v76762/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nikoletseas-Raptopoulos-Spirakis/09,
AUTHOR = {Nikoletseas, Sotiris and Raptopoulos, Christoforos and Spirakis, Paul G.},
TITLE = {Colouring non-sparse random intersection graphs},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {600-611},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/el725mg537445158/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Papakonstantinou/09a,
AUTHOR = {Papakonstantinou, Periklis A.},
TITLE = {On the structure of optimal greedy computation (for Job Scheduling)},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {612-623},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/60132762u0812572/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Plociennik/09,
AUTHOR = {Plociennik, Kai},
TITLE = {A probabilistic PTAS for shortest common superstring},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {624-635},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/h022m376wt7323w7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Resnick-Bachrach-Meir-Rosenschein/09,
AUTHOR = {Resnick, Ezra and Bachrach, Yoram and Meir, Reshef and Rosenschein, Jeffrey S.},
TITLE = {The cost of stability in network flow games},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {636-650},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/206w85312134q7vg/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Richard/09,
AUTHOR = {Richard, Ga{\'e}tan},
TITLE = {(Un)decidability of injectivity and surjectivity in one-dimensional sand automata},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {651-662},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/9733816223460757/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rotteler/09,
AUTHOR = {R{\"o}tteler, Martin},
TITLE = {Quantum algorithms to solve the hidden shift problem for quadratics and for functions of large Gowers norm},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {663-674},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/j7jgm20262332626/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schewe/09,
AUTHOR = {Schewe, Sven},
TITLE = {From parity and payoff games to linear programming},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {675-686},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/k7683202413r0112/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Tadaki/09,
AUTHOR = {Tadaki, Kohtaro},
TITLE = {Partial randomness and dimension of recursively enumerable reals},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {687-699},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/ul3562qx66g41362/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Takaoka/09,
AUTHOR = {Takaoka, Tadao},
TITLE = {Partial solution and entropy},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {700-711},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/djrg530554273578/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Tan/09,
AUTHOR = {Tan, Tony},
TITLE = {On pebble automata for data languages with decidable emptiness problem},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {712-723},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/g8231085j6070826/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Uchizawa-Nishizeki-Takimoto/09,
AUTHOR = {Uchizawa, Kei and Nishizeki, Takao and Takimoto, Eiji},
TITLE = {Size and energy of threshold circuits computing Mod functions},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {724-735},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/h275777651258761/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rettinger-Zheng/09,
AUTHOR = {Rettinger, Robert and Zheng, Xizhong},
TITLE = {Points on computable curves of computable lengths},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {736-743},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/jm6wj20mw461244q/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zivny-Cohen-Jeavons/09,
AUTHOR = {{\v{Z}}ivn{\'y}, Stanislav and Cohen, David A. and Jeavons, Peter G.},
TITLE = {The expressive power of binary submodular functions},
BOOKTITLE = {Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'2009 (Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009)},
SERIES = {LNCS},
VOLUME = {5734},
PAGES = {744-757},
YEAR = {2009},
EDITOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Niwi{\'n}ski, Damian},
URL = {http://springerlink.metapress.com/content/r2w176q10xh33066/fulltext.pdf" title="Download PDF (256.9 KB)"><span>Download PDF (256.9 KB)</span></a></li> 	</ul></li><li class="primitive primitiveResource Backmatter"><p class="title">Back matter</p><ul class="resources fulltextResources" data-ftxUrl="/content/978-3-642-03815-0/#section=187105"> 		<li><a class="sprite pdf-resource-spritehttp://springerlink.metapress.com/content/978-3-642-03815-0/back-matter.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}