@incollection{Bienkowski-Meyer_auf_der_Heide/05,
AUTHOR = {Bienkowski, Marcin and Meyer auf der Heide, Friedhelm},
TITLE = {Page migration in dynamic networks},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {1-14},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Freivalds/05,
AUTHOR = {Freivalds, R{\=u}si{\c{n}}{\v{s}}},
TITLE = {Knot theory, Jones polynomial and quantum computing},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {15-25},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gurevich/05,
AUTHOR = {Gurevich, Yuri},
TITLE = {Interactive algorithms 2005},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {26-38},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ibarra/05,
AUTHOR = {Ibarra, Oscar H.},
TITLE = {Some computational issues in membrane computing},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {39-51},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Szemeredi-Rucinski-Rodl/05,
AUTHOR = {Szemer{\'e}di, Endre and Ruci{\'n}ski, Andrzej and R{\"o}dl, Vojt{\v{e}}ch},
TITLE = {The generalization of Dirac's theorem for hypergraphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {52-56},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yao/05,
AUTHOR = {Yao, Andrew C.},
TITLE = {On the communication complexity of co-linearity problems},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {57-57},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zielonka/05,
AUTHOR = {Zielonka, Wies{\l}aw},
TITLE = {An invitation to play},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {58-70},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Allender-Bauland-Immerman-Schnoor-Vollmer/05,
AUTHOR = {Allender, Eric and Bauland, Michael and Immerman, Neil and Schnoor, Henning and Vollmer, Heribert},
TITLE = {The complexity of satisfiability problems: Refining Schaefer's theorem},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {71-82},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alonso-Montana-Pardo/05,
AUTHOR = {Alonso, C{\'e}sar L. and Monta{\~n}a, Jos{\`e} L. and Pardo, Luis M.},
TITLE = {On the number of random digits required in MonteCarlo integration of definable functions},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {83-94},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alvarez-Gabarro-Serna/05,
AUTHOR = {{\`A}lvarez, Carme and Gabarr{\'o}, Joaquim and Serna, Maria},
TITLE = {Pure Nash Equilibria in games with a large number of actions},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {95-106},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amano-Maruoka/05,
AUTHOR = {Amano, Kazuyuki and Maruoka, Akira},
TITLE = {On the complexity of depth-2 circuits with threshold gates},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {107-118},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bauland-Hemaspaandra/05,
AUTHOR = {Bauland, Michael and Hemaspaandra, Edith},
TITLE = {Isomorphic implication},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {119-130},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berthe-Rigo/05,
AUTHOR = {Berth{\'e}, Val{\'e}rie and Rigo, Michel},
TITLE = {Abstract numeration systems and tilings},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {131-143},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blesa-Calzada-Fernandez-Lopez-Martinez-Santos-Serna/05,
AUTHOR = {Blesa, Mar{\'{i}}a J. and Calzada, Daniel and Fern{\'a}ndez, Antonio and L{\'o}pez, Luis and Mart{\'{i}}nez, Andr{\'e}s L. and Santos, Agust{\'{i}}n and Serna, Maria},
TITLE = {Adversarial queueing model for continuous network dynamics},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {144-155},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bottcher/05,
AUTHOR = {B{\"o}ttcher, Julia},
TITLE = {Coloring sparse random $k$-colorable graphs in polynomial expected time},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {156-167},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carayol/05,
AUTHOR = {Carayol, Arnaud},
TITLE = {Regular sets of higher-order pushdown stacks},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {168-179},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carayol-Meyer/05,
AUTHOR = {Carayol, Arnaud and Meyer, Antoine},
TITLE = {Linearly bounded infinite graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {180-191},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cervelle-Formenti-Masson/05,
AUTHOR = {Cervelle, J. and Formenti, E. and Masson, B.},
TITLE = {Basic properties for sand automata},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {192-211},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chalopin-Metivier/05,
AUTHOR = {Chalopin, J{\'e}r{\'e}mie and M{\'e}tivier, Yves},
TITLE = {A bridge between the asynchronous message passing model and local computations in graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {212-223},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Jansson-Lam-Yiu/05,
AUTHOR = {Chan, Ho-Leung and Jansson, Jesper and Lam, Tak-Wah and Yiu, Siu-Ming},
TITLE = {Reconstructing an ultrametric galled phylogenetic network from a distance matrix},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {224-235},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Lam-Liu-Wong/05,
AUTHOR = {Chan, Wun-Tat and Lam, Tak-Wah and Liu, Kin-Shing and Wong, Prudence W.H.},
TITLE = {New resource augmentation analysis of the total stretch of SRPT and SJF in multiprocessor scheduling},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {236-247},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cheng-Tan/05,
AUTHOR = {Cheng, Ho-lun and Tan, Tony},
TITLE = {Approximating polygonal objects by deformable smooth surfaces},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {248-259},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chubarov-Voronkov/05,
AUTHOR = {Chubarov, D. and Voronkov, A.},
TITLE = {Basis of solutions for a system of linear inequalities in integers: Computation and applications},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {260-270},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{De_Marco-Gargano-Kranakis-Krizanc-Pelc-Vaccaro/05,
AUTHOR = {De Marco, Gianluca and Gargano, Luisa and Kranakis, Evangelos and Krizanc, Danny and Pelc, Andrzej and Vaccaro, Ugo},
TITLE = {Asynchronous deterministic rendezvous in graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {271-282},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Doty-Gu-Lutz-Mayordomo-Moser/05,
AUTHOR = {Doty, David and Gu, Xiaoyang and Lutz, Jack H. and Mayordomo, Elvira and Moser, Philippe},
TITLE = {Zeta-dimension},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {283-294},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Epstein-Levy/05a,
AUTHOR = {Epstein, Leah and Levy, Meital},
TITLE = {Online interval coloring with packing constraints},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {295-307},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Faliszewski-Ogihara/05,
AUTHOR = {Faliszewski, Piotr and Ogihara, Mitsunori},
TITLE = {Separating the notions of self- and autoreducibility},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {308-315},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fates-Morvan-Schabanel-Thierry/05,
AUTHOR = {Fat{\`e}s, Nazim and Morvan, Michel and Schabanel, Nicolas and Thierry, {\'E}ric},
TITLE = {Fully asynchronous behavior of double-quiescent elementary cellular automata},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {316-327},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fertin-Rizzi-Vialette/05,
AUTHOR = {Fertin, Guillaume and Rizzi, Romeo and Vialette, St{\'e}phane},
TITLE = {Finding exact and maximum occurrences of protein complexes in protein-protein interaction graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {328-339},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fiala-Paulusma-Telle/05,
AUTHOR = {Fiala, Ji{\v{r}}{\'{i}} and Paulusma, Dani{\"e}l and Telle, Jan Arne},
TITLE = {Matrix and graph orders derived from locally constrained graph homomorphisms},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {340-351},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fishkin-Gerber-Jansen-Solis-Oba/05,
AUTHOR = {Fishkin, Aleksei V. and Gerber, Olga and Jansen, Klaus and Solis-Oba, Roberto},
TITLE = {Packing weighted rectangles into a square},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {352-363},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fomin-Fraigniaud-Nisse/05,
AUTHOR = {Fomin, Fedor V. and Fraigniaud, Pierre and Nisse, Nicolas},
TITLE = {Nondeterministic graph searching: From pathwidth to treewidth},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {364-375},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gaintzarain-Hermo-Navarro/05,
AUTHOR = {Gaintzarain, J. and Hermo, M. and Navarro, M.},
TITLE = {Goals in the propositional Horn$^\supset$ language are monotone Boolean circuits},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {376-386},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Glasser-Ogihara-Pavan-Selman-Zhang/05,
AUTHOR = {Gla{\ss}er, Christian and Ogihara, Mitsunori and Pavan, A. and Selman, Alan L. and Zhang, Liyu},
TITLE = {Autoreducibility, mitoticity, and immunity},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {387-398},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Glasser-Selman-Zhang/05,
AUTHOR = {Gla{\ss}er, Christian and Selman, Alan L. and Zhang, Liyu},
TITLE = {Canonical disjoint $NP$-pairs of propositional proof systems},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {399-409},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goldsmith-Hagen-Mundhenk/05,
AUTHOR = {Goldsmith, Judy and Hagen, Matthias and Mundhenk, Martin},
TITLE = {Complexity of DNF and isomorphism of monotone formulas},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {410-421},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Grohe-Kreutzer-Schweikardt/05,
AUTHOR = {Grohe, Martin and Kreutzer, Stephan and Schweikardt, Nicole},
TITLE = {The expressive power of two-variable least fixed-point logics},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {422-434},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Grunsky-Kurganskyy-Potapov/05,
AUTHOR = {Grunsky, Igor and Kurganskyy, Oleksiy and Potapov, Igor},
TITLE = {Languages representable by vertex-labeled graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {435-446},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gurvits/05,
AUTHOR = {Gurvits, Leonid},
TITLE = {On the complexity of mixed discriminants and related problems},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {447-458},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hansen-Meer/05,
AUTHOR = {Hansen, Uffe Flarup and Meer, Klaus},
TITLE = {Two logical hierarchies of optimization problems over the real numbers},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {459-470},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heinemann/05,
AUTHOR = {Heinemann, Bernhard},
TITLE = {Algebras as knowledge structures},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {471-482},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hernich-Nickelsen/05,
AUTHOR = {Hernich, Andr{\'e} and Nickelsen, Arfst},
TITLE = {Combining self-reducibility and partial information algorithms},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {483-494},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hunter-Dawar/05,
AUTHOR = {Hunter, Paul and Dawar, Anuj},
TITLE = {Complexity bounds for regular games},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {495-506},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Janicki/05a,
AUTHOR = {Janicki, Ryszard},
TITLE = {Basic mereology with equivalence relations},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {507-519},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jansson-Peng/05,
AUTHOR = {Jansson, Jesper and Peng, Zeshan},
TITLE = {Online and dynamic recognition of squarefree strings},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {520-531},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jurdzinski-Otto/05,
AUTHOR = {Jurdzi{\'n}ski, Tomasz and Otto, Friedrich},
TITLE = {Shrinking restarting automata},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {532-543},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kapoutsis/05a,
AUTHOR = {Kapoutsis, Christos},
TITLE = {Removing bidirectionality from nondeterministic finite automata},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {544-555},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Khachiyan-Boros-Elbassioni-Gurvich/05a,
AUTHOR = {Khachiyan, L. and Boros, E. and Elbassioni, K. and Gurvich, V.},
TITLE = {Generating all minimal integral solutions to monotone $\wedge$, $\vee$-systems of linear, transversal and polymatroid inequalities},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {556-567},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kneis-Molle-Richter-Rossmanith/05,
AUTHOR = {Kneis, Joachim and M{\"o}lle, Daniel and Richter, Stefan and Rossmanith, Peter},
TITLE = {On the parameterized complexity of exact satisfiability problems},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {568-579},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kolman/05,
AUTHOR = {Kolman, Petr},
TITLE = {Approximating reversal distance for strings with bounded number of duplicates},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {580-590},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Korovin-Voronkov/05,
AUTHOR = {Korovin, Konstantin and Voronkov, Andrei},
TITLE = {Random databases and threshold for monotone non-recursive datalog},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {591-602},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kral-Pangrac/05,
AUTHOR = {Kr{\'a}l', Daniel and Pangr{\'a}c, Ond{\v{r}}ej},
TITLE = {An asymptotically optimal linear-time algorithm for locally consistent constraint satisfaction problems},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {603-614},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Krysta/05a,
AUTHOR = {Krysta, Piotr},
TITLE = {Greedy approximation via duality for packing, combinatorial auctions and routing},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {615-627},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kuivinen/05,
AUTHOR = {Kuivinen, Fredrik},
TITLE = {Tight approximability results for the maximum solution equation problem over $Z_p$},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {628-639},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lange-Somla/05,
AUTHOR = {Lange, Martin and Somla, Rafa{\l}},
TITLE = {The complexity of model checking higher order fixpoint logic},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {640-651},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Li-Yao/05,
AUTHOR = {Li, Minming and Yao, Frances F.},
TITLE = {An efficient algorithm for computing optimal discrete voltage schedules},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {652-663},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lohrey-Ondrusch/05,
AUTHOR = {Lohrey, Markus and Ondrusch, Nicole},
TITLE = {Inverse monoids: Decidability and complexity of algebraic questions},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {664-675},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lopez-Valdes-Mayordomo/05,
AUTHOR = {L{\'o}pez-Vald{\'e}s, Mar{\'{i}}a and Mayordomo, Elvira},
TITLE = {Dimension is compression},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {676-685},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Morin/05,
AUTHOR = {Morin, R{\'e}mi},
TITLE = {Concurrent automata vs. asynchronous systems},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {686-698},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nishio/05,
AUTHOR = {Nishio, Hidenosuke},
TITLE = {Completeness and degeneracy in information dynamics of cellular automata},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {699-707},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Okhotin/05a,
AUTHOR = {Okhotin, Alexander},
TITLE = {Strict language inequalities and their decision problems},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {708-719},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pinna/05,
AUTHOR = {Pinna, G. Michele},
TITLE = {Event structures for the collective tokens philosophy of inhibitor nets},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {720-732},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Riege-Rothe/05,
AUTHOR = {Riege, Tobias and Rothe, J{\"o}rg},
TITLE = {An exact 2.9416$^n$ algorithm for the three domatic number problem},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {733-744},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Safari/05,
AUTHOR = {Safari, Mohammad Ali},
TITLE = {D-width: A more natural measure for directed tree width},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {745-756},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Simonsen/05,
AUTHOR = {Simonsen, Jakob Grue},
TITLE = {On beta-shifts having arithmetical languages},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {757-768},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_de_Pol-Tveretina/05,
AUTHOR = {van de Pol, Jaco and Tveretina, Olga},
TITLE = {A BDD-representation for the logic of equality and uninterpreted functions},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {769-780},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Unger/05,
AUTHOR = {Unger, Falk},
TITLE = {On small hard leaf languages},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {781-792},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vassilevska/05,
AUTHOR = {Vassilevska, Virginia},
TITLE = {Explicit inapproximability bounds for the shortest superstring problem},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {793-800},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wrona/05,
AUTHOR = {Wrona, Micha{\l}},
TITLE = {Stratified Boolean grammars},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {801-812},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}