@incollection{Chatterjee/14,
AUTHOR = {Chatterjee, Krishnendu},
TITLE = {Partial-observation stochastic reachability and parity games},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {1-4},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_1},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nicaud/14,
AUTHOR = {Nicaud, Cyril},
TITLE = {Random deterministic automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {5-23},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_2},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sherstov/14a,
AUTHOR = {Sherstov, Alexander A.},
TITLE = {Communication complexity theory: Thirty-five years of set disjointness},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {24-43},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_3},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sohler/14,
AUTHOR = {Sohler, Christian},
TITLE = {What does the local structure of a planar graph tell us about its global structure?},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {44-49},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_4},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zaid-Gradel-Grohe-Pakusa/14,
AUTHOR = {Zaid, F. Abu and Gr{\"a}del, E. and Grohe, M. and Pakusa, W.},
TITLE = {Choiceless polynomial time on structures with small Abelian colour classes},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {50-62},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_5},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beal-Blockelet-Dima/14,
AUTHOR = {B{\'e}al, Marie-Pierre and Blockelet, Michel and Dima, C{\v{a}}t{\v{a}}lin},
TITLE = {Sofic-Dyck shifts},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {63-74},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_6},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bersani-Rossi-San_Pietro/14,
AUTHOR = {Bersani, Marcello M. and Rossi, Matteo and San Pietro, Pierluigi},
TITLE = {A logical characterization of timed (non-)regular languages},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {75-86},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_7},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blumensath-Carton-Colcombet/14,
AUTHOR = {Blumensath, Achim and Carton, Olivier and Colcombet, Thomas},
TITLE = {Asymptotic monadic second-order logic},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {87-98},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_8},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bourhis-Morak-Pieris/14,
AUTHOR = {Bourhis, Pierre and Morak, Michael and Pieris, Andreas},
TITLE = {Towards efficient reasoning under guarded-based disjunctive existential rules},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {99-110},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_9},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bruse/14,
AUTHOR = {Bruse, Florian},
TITLE = {Alternating parity Krivine automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {111-122},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_10},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bundala-Ouaknine/14a,
AUTHOR = {Bundala, Daniel and Ouaknine, Jo{\"e}l},
TITLE = {Advances in parametric real-time reasoning},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {123-134},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_11},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carpi-Fici-Holub-Oprsal-Sciortino/14,
AUTHOR = {Carpi, Arturo and Fici, Gabriele and Holub, {\v{S}}t{\v{e}}p{\'a}n and Opr{\v{s}}al, Jakub and Sciortino, Marinella},
TITLE = {Universal Lyndon words},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {135-146},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_12},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cassaigne-Frid-Puzynina-Zamboni/14,
AUTHOR = {Cassaigne, Julien and Frid, Anna E. and Puzynina, Svetlana and Zamboni, Luca Q.},
TITLE = {Subword complexity and decomposition of the set of factors},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {147-158},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_13},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cassaigne-Fici-Sciortino-Zamboni/14,
AUTHOR = {Cassaigne, Julien and Fici, Gabriele and Sciortino, Marinella and Zamboni, Luca Q.},
TITLE = {Cyclic complexity of words},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {159-170},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_14},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chaturvedi-Gelderie/14,
AUTHOR = {Chaturvedi, Namit and Gelderie, Marcus},
TITLE = {Classifying recognizable infinitary trace languages using word automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {171-182},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_15},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Muller/14,
AUTHOR = {Chen, Yijia and M{\"u}ller, Moritz},
TITLE = {Bounded variable logic, parameterized logarithmic space, and Savitch's theorem},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {183-195},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_16},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Choffrut-Guillon/14,
AUTHOR = {Choffrut, Christian and Guillon, Bruno},
TITLE = {An algebraic characterization of unary two-way transducers},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {196-207},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_17},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Colcombet-Daviaud-Zuleger/14,
AUTHOR = {Colcombet, Thomas and Daviaud, Laure and Zuleger, Florian},
TITLE = {Size-change abstraction and max-plus automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {208-219},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_18},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Courtois-Schmitz/14,
AUTHOR = {Courtois, Jean-Baptiste and Schmitz, Sylvain},
TITLE = {Alternating vector addition systems with states},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {220-231},
YEAR = {2014},
}
@incollection{Cui-Dang-Fischer-Ibarra/14,
AUTHOR = {Cui, Cewei and Dang, Zhe and Fischer, Thomas R. and Ibarra, Oscar H.},
TITLE = {Information rate of some classes of non-regular languages: An automata-theoretic approach},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {232-243},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_20},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {extended abstract},
}
@incollection{Dominguez-Fernandez/14,
AUTHOR = {Dom{\'{i}}nguez, Jes{\'u}s and Fern{\'a}ndez, Maribel},
TITLE = {Relating nominal and higher-order rewriting},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {244-255},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_21},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Eickmeyer-Elberfeld-Harwath/14,
AUTHOR = {Eickmeyer, Kord and Elberfeld, Michael and Harwath, Frederik},
TITLE = {Expressivity and succinctness of order-invariant logics on depth-bounded structures},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {256-266},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_22},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fijalkow-Gimbert-Horn-Oualhadj/14,
AUTHOR = {Fijalkow, Nathana{\"e}l and Gimbert, Hugo and Horn, Florian and Oualhadj, Youssouf},
TITLE = {Two recursively inseparable problems for probabilistic automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {267-278},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_23},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fijalkow-Paperman/14,
AUTHOR = {Fijalkow, Nathana{\"e}l and Paperman, Charles},
TITLE = {Monadic second-order logic with arbitrary monadic predicates},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {279-290},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_24},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Geffert-Okhotin/14,
AUTHOR = {Geffert, Viliam and Okhotin, Alexander},
TITLE = {Transforming two-way alternating finite automata to one-way nondeterministic automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {291-302},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_25},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gogacz-Michalewski-Mio-Skrzypczak/14,
AUTHOR = {Gogacz, Tomasz and Michalewski, Henryk and Mio, Matteo and Skrzypczak, Micha{\l}},
TITLE = {Measure properties of game tree languages},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {303-314},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_26},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Holub-Jiraskova-Masopust/14,
AUTHOR = {Holub, {\v{S}}t{\v{e}}p{\'a}n and Jir{\'a}skov{\'a}, Galina and Masopust, Tom{\'a}{\v{s}}},
TITLE = {On upper and lower bounds on the length of alternating towers},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {315-326},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_27},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Honsell-Liquori-Scagnetto/14,
AUTHOR = {Honsell, Furio and Liquori, Luigi and Scagnetto, Ivan},
TITLE = {{\sf L\textsuperscript {ax}F}: Side conditions and external evidence as monads},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {327-339},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_28},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Huschenbett-Kuske-Zetzsche/14,
AUTHOR = {Huschenbett, Martin and Kuske, Dietrich and Zetzsche, Georg},
TITLE = {The monoid of queue actions},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {340-351},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_29},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jolivet-Kari/14,
AUTHOR = {Jolivet, Timo and Kari, Jarkko},
TITLE = {Undecidable properties of self-affine sets and multi-tape automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {352-364},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_30},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kieronski-Kuusisto/14,
AUTHOR = {Kiero{\'n}ski, Emanuel and Kuusisto, Antti},
TITLE = {Complexity and expressivity of uniform one-dimensional fragment with equality},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {365-376},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_31},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{La_Torre-Napoli-Parlato/14,
AUTHOR = {La Torre, Salvatore and Napoli, Margherita and Parlato, Gennaro},
TITLE = {A unifying approach for multistack pushdown automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {377-389},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_32},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lang-Loding-Manuel/14,
AUTHOR = {Lang, Martin and L{\"o}ding, Christof and Manuel, Amaldev},
TITLE = {Definability and transformations for cost logics and automatic structures},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {390-401},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_33},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Manea-Muller-Nowotka-Seki/14,
AUTHOR = {Manea, Florin and M{\"u}ller, Mike and Nowotka, Dirk and Seki, Shinnosuke},
TITLE = {Generalised Lyndon-Sch{\"u}tzenberger equations},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {402-413},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_34},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Marusic-Worrell/14,
AUTHOR = {Marusic, Ines and Worrell, James},
TITLE = {Complexity of equivalence and learning for multiplicity tree automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {414-425},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_35},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mazowiecki-Murlak-Witkowski/14,
AUTHOR = {Mazowiecki, Filip and Murlak, Filip and Witkowski, Adam},
TITLE = {Monadic datalog and regular tree pattern queries},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {426-437},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_36},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mennicke/14,
AUTHOR = {Mennicke, Roy},
TITLE = {Model checking concurrent recursive programs using temporal logics},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {438-450},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_37},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Montanari-Puppis-Sala/14,
AUTHOR = {Montanari, Angelo and Puppis, Gabriele and Sala, Pietro},
TITLE = {Decidability of the interval temporal logic $\mathsf{A\bar{A}B\bar{B}}$ over the rationals},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {451-463},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_38},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Murawski-Ramsay-Tzevelekos/14,
AUTHOR = {Murawski, Andrzej S. and Ramsay, Steven J. and Tzevelekos, Nikos},
TITLE = {Reachability in pushdown register automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {464-473},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_39},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sankaran-Adsul-Chakraborty/14,
AUTHOR = {Sankaran, Abhisekh and Adsul, Bharat and Chakraborty, Supratik},
TITLE = {A generalization of the {\L}o{\'s}-Tarski preservation theorem over classes of finite structures},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {474-485},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_40},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schewe-Varghese/14,
AUTHOR = {Schewe, Sven and Varghese, Thomas},
TITLE = {Determinising parity automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {486-498},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_41},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schewe-Varghese/14a,
AUTHOR = {Schewe, Sven and Varghese, Thomas},
TITLE = {Tight bounds for complementing parity automata},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {499-510},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_42},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Smith/14,
AUTHOR = {Smith, Tim},
TITLE = {On infinite words determined by indexed languages},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {511-522},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_43},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Smith/14a,
AUTHOR = {Smith, Tim},
TITLE = {A pumping lemma for two-way finite transducers},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {523-534},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_44},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wrona/14,
AUTHOR = {Wrona, Micha{\l}},
TITLE = {Tractability frontier for dually-closed Ord-Horn quantified constraint satisfaction problems},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {535-546},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_45},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zeume/14,
AUTHOR = {Zeume, Thomas},
TITLE = {The dynamic descriptive complexity of $k$-clique},
BOOKTITLE = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS'2014, Part I (Budapest, Hungary, August 25-29, 2014)},
SERIES = {LNCS},
VOLUME = {8634},
PAGES = {547-558},
YEAR = {2014},
EDITOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_46},
PUBLISHER = {Springer-Verlag GmbH},
ADDRESS = {Berlin-Heidelberg},
}