@incollection{Buhrman-Rohrig/03,
AUTHOR = {Buhrman, Harry and R{\"o}hrig, Hein},
TITLE = {Distributed quantum computing},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {1-20},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1KQ4U9QQ8C5QPM3H},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Feldmann-Gairing-Lucking-Monien-Rode/03a,
AUTHOR = {Feldmann, R. and Gairing, M. and L{\"u}cking, Thomas and Monien, Burkhard and Rode, Manuel},
TITLE = {Selfish routing in non-cooperative networks: A survey},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {21-45},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LMHN3BGGT6P6PERL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gorrieri-Martinelli/03,
AUTHOR = {Gorrieri, Roberto and Martinelli, Fabio},
TITLE = {Process algebraic frameworks for the specification and analysis of cryptographic protocols},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {46-67},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=N03QV0G35V0BD9UT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hannay-Katsumata-Sannella/03,
AUTHOR = {Hannay, Jo and Katsumata, Shin-ya and Sannella, Donald},
TITLE = {Semantic and syntactic approaches to simulation relations},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {68-91},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=86JE0RC0DTN34C9D},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mauri-Leporati/03,
AUTHOR = {Mauri, Giancarlo and Leporati, Alberto},
TITLE = {On the computational complexity of conservative computing},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {92-112},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CGJ6T8JA43KEYXDU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Thomas/03a,
AUTHOR = {Thomas, Wolfgang},
TITLE = {Constructing infinite graphs with a decidable MSO-theory},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {113-124},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=L9QLQN4JLM7H44VF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Wegener/03,
AUTHOR = {Wegener, Ingo},
TITLE = {Towards a theory of randomized search heuristics},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {125-141},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JFRKN2L930A0PGDL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Alvarez-Blesa-Diaz-Fernandez-Serna/03,
AUTHOR = {{\`A}lvarez, C. and Blesa, M. and D{\'{i}}az, J. and Fern{\'a}ndez, A. and Serna, M.},
TITLE = {Adversarial models for priority-based networks},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {142-151},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Y59D2XR45KVC1P6P},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Amano-Maruoka/03a,
AUTHOR = {Amano, Kazuyuki and Maruoka, Akira},
TITLE = {On optimal merging networks},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {152-161},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PDX2M1TLHTQ4JPPU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ambos-Spies/03,
AUTHOR = {Ambos-Spies, Klaus},
TITLE = {Problems which cannot be reduced to any proper subproblems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {162-168},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DD9HR7HWP3C66MC1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Anantharaman-Narendran-Rusinowitch/03,
AUTHOR = {Anantharaman, Siva and Narendran, Paliath and Rusinowitch, Michael},
TITLE = {ACID-unification is NEXPTIME-decidable},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {169-178},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {$E$-unification, complexity, set constraints, tree automata, dag automata},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MBB7YDBMNXCKV2WD},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ausiello-Bazgan-Demange-Paschos/03,
AUTHOR = {Ausiello, G. and Bazgan, C. and Demange, M. and Paschos, V.Th.},
TITLE = {Completeness in differential approximation classes},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {179-188},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RFXG13DQHJVD54TA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Baba-Tsuruta-Shinohara-Takeda/03,
AUTHOR = {Baba, Kensuke and Tsuruta, Satoshi and Shinohara, Ayumi and Takeda, Masayuki},
TITLE = {On the length of the minimum solution of word equations in one variable},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {189-197},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4NE13XBFYW7009BK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Banderier-Beier-Mehlhorn/03,
AUTHOR = {Banderier, Cyril and Beier, Ren{\'e} and Mehlhorn, Kurt},
TITLE = {Smoothed analysis of three combinatorial problems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {198-207},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V70VPB0HD6A2NTA5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bannai-Inenaga-Shinohara-Takeda/03,
AUTHOR = {Bannai, Hideo and Inenaga, Shunsuke and Shinohara, Ayumi and Takeda, Masayuki},
TITLE = {Inferring strings from graphs and arrays},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {208-217},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EBMPQGK59E48PUXN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Benkoczi-Bhattacharya-Chrobak-Larmore-Rytter/03,
AUTHOR = {Benkoczi, Robert and Bhattacharya, Binay and Chrobak, Marek and Larmore, Lawrence L. and Rytter, Wojciech},
TITLE = {Faster algorithms for $k$-medians in trees},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {218-227},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V46Y8D5Q5AWB3JBU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Blanchard-Cervelle-Formenti/03,
AUTHOR = {Blanchard, F. and Cervelle, J. and Formenti, E.},
TITLE = {Periodicity and transitivity for cellular automata in Besicovitch topologies},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {228-238},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=F9GAX2RNJTV01HVF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bodlaender-Fellows-Thilikos/03,
AUTHOR = {Bodlaender, Hans L. and Fellows, Michael R. and Thilikos, Dimitrios M.},
TITLE = {Starting with nondeterminism: The systematic derivation of linear-time graph layout algorithms},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {239-248},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {algorithms and data structures, graph algorithms, algorithm design methodology, graph layout problems, finite state automata},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q5191YH187NHEUBK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bohler-Glasser-Meister/03,
AUTHOR = {B{\"o}hler, Elmar and Gla{\ss}er, Christian and Meister, Daniel},
TITLE = {Error-bounded probabilistic computations between MA and AM},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {249-258},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JB2NYMG17NJN8F44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bonsma-Brueggemann-Woeginger/03,
AUTHOR = {Bonsma, Paul S. and Brueggemann, Tobias and Woeginger, Gerhard J.},
TITLE = {A faster FPT algorithm for finding spanning trees with many leaves},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {259-268},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=14M368W3927XQMU4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boreale-Buscemi/03,
AUTHOR = {Boreale, Michele and Buscemi, Maria Grazia},
TITLE = {Symbolic analysis of crypto-protocols based on modular exponentiation},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {269-278},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H0EJWLJ39YQHBPXL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boreale-Gadducci/03,
AUTHOR = {Boreale, Michele and Gadducci, Fabio},
TITLE = {Denotational testing semantics in coinductive form},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {279-289},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {process calculi, coinduction, formal power series, testing equivalence},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UHP2QML9NQEF6NA5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brosenne-Homeister-Waack/03,
AUTHOR = {Brosenne, Henrik and Homeister, Matthias and Waack, Stephan},
TITLE = {Lower bounds for general graph-driven read-once parity branching programs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {290-299},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3XKU2MWQXMM7ATQ3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bucciarelli-Salibra/03,
AUTHOR = {Bucciarelli, Antonio and Salibra, Antonino},
TITLE = {The minimal graph model of lambda calculus},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {300-307},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V41L4CN9WFT6DB50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Carton/03,
AUTHOR = {Carton, Olivier},
TITLE = {Unambiguous automata on bi-infinite words},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {308-317},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YJAH4U2EJ2BFNPQT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cerna-Pelanek/03,
AUTHOR = {{\v{C}}ern{\'a}, Ivana and Pel{\'a}nek, Radek},
TITLE = {Relating hierarchy of temporal properties to model checking},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {318-327},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FB76DGYRWPKALQTG},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen/03c,
AUTHOR = {Chen, Hubie},
TITLE = {Arithmetic constant-depth circuit complexity classes},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {328-337},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EF0VJBUAKL0YD2B3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen/03d,
AUTHOR = {Chen, Hubie},
TITLE = {Inverse $NP$ problems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {338-347},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=90RMWGY88A88DN19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Kouno/03,
AUTHOR = {Chen, Zhi-Zhong and Kouno, Mitsuharu},
TITLE = {A linear-time algorithm for 7-coloring 1-planar graphs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {348-357},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AVEJ66H12A94B0GK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dalmau-Ford/03,
AUTHOR = {Dalmau, Victor and Ford, Daniel K.},
TITLE = {Generalized satisfiability with limited occurrences per variable: A study through delta-matroid parity},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {358-367},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=N2RXHARL2W63JA0J},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{De_Marco-Pelc/03,
AUTHOR = {De Marco, Gianluca and Pelc, Andrzej},
TITLE = {Randomized algorithms for determining the majority on graphs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {368-377},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=890LGGYD5HHA22W0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Delhomme-Knapik-Thomas/03,
AUTHOR = {Delhomm{\'e}, Christian and Knapik, Teodor and Thomas, D. Gnanaraj},
TITLE = {Using transitive-closure logic for deciding linear properties of monoids},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {378-387},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {string rewriting, monoid presentations, transitive closure logic},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=13RUPKA7GFQBVXRB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Duval-Kolpakov-Kucherov-Lecroq-Lefebvre/03,
AUTHOR = {Duval, Jean-Pierre and Kolpakov, Roman and Kucherov, Gregory and Lecroq, Thierry and Lefebvre, Arnaud},
TITLE = {Linear-time computation of local periods},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {388-397},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5CXANG25TXNNVWR6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Epstein/03a,
AUTHOR = {Epstein, Leah},
TITLE = {Two dimensional packing: The power of rotation},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {398-407},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RREQVPCKCEMM6T7T},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Epstein-Tassa/03a,
AUTHOR = {Epstein, Leah and Tassa, Tamir},
TITLE = {Approximation schemes for the min-max starting time problem},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {408-418},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4KHM191GGG87LNWT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Friedl-Magniez-Santha-Sen/03,
AUTHOR = {Friedl, Katalin and Magniez, Fr{\'e}d{\'e}ric and Santha, Miklos and Sen, Pranab},
TITLE = {Quantum testers for hidden group properties},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {419-428},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=419},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gastin-Mukund-Kumar/03,
AUTHOR = {Gastin, Paul and Mukund, Madhavan and Kumar, K. Narayan},
TITLE = {Local LTL with past constants is expressively complete for Mazurkiewicz traces},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {429-438},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=429},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gastin-Oddoux/03,
AUTHOR = {Gastin, Paul and Oddoux, Denis},
TITLE = {LTL with past and two-way very-weak alternating automata},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {439-448},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=83L3PYC528PRY31K},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Geser-Hofbauer-Waldmann/03,
AUTHOR = {Geser, Alfons and Hofbauer, Dieter and Waldmann, Johannes},
TITLE = {Match-bounded string rewriting systems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {449-459},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YHRQ9D71U6CBGH7D},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gramlich/03,
AUTHOR = {Gramlich, Gregor},
TITLE = {Probabilistic and nondeterministic unary automata},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {460-469},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CC542RFUWQMF6VM8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hlineny/03b,
AUTHOR = {Hlin{\v{e}}n{\'y}, Petr},
TITLE = {On matroid properties definable in the MSO logic},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {470-479},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {matroid, branch-width, MSO logic, parametrized complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GYNAPBDN03U48AMA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ibarra-Dang-Egecioglu-Saxena/03,
AUTHOR = {Ibarra, Oscar H. and Dang, Zhe and Egecioglu, Omer and Saxena, Gaurav},
TITLE = {Characterizations of catalytic membrane computing systems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {480-489},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {membrane computing, catalytic system, semilinear set, vector addition system, reachability problem},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=R9A3DHMMBBCN6LHW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ishii-Hagiwara/03,
AUTHOR = {Ishii, Toshimasa and Hagiwara, Masayuki},
TITLE = {Augmenting local edge-connectivity between vertices and vertex subsets in undirected graphs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {490-499},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H79DY6DMAN9XXQ4N},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Krysta-Sanders-Vocking/03,
AUTHOR = {Krysta, Piotr and Sanders, Peter and V{\"o}cking, Berthold},
TITLE = {Scheduling and traffic allocation for tasks with bounded splittability},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {500-510},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2Q512P39HVUK0MQ2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kutylowski-Letkiewicz/03,
AUTHOR = {Kuty{\l}owski, Miroslaw and Letkiewicz, Daniel},
TITLE = {Computing average value in ad hoc networks},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {511-520},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {mobile computing, radio network, sensor network},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YHGM99EBY30PJ1ED},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lasota/03,
AUTHOR = {Lasota, S{\l}awomir},
TITLE = {A polynomial-time algorithm for deciding true concurrency equivalences of basic parallel processes},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {521-530},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0QGV7Q84PE4RK22F},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Loding-Rohde/03,
AUTHOR = {L{\"o}ding, Christof and Rohde, Philipp},
TITLE = {Solving the sabotage game is $P$SPACE-hard},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {531-540},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CC7VXVKGF04CFC6V},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Loyer-Straccia/03,
AUTHOR = {Loyer, Yann and Straccia, Umberto},
TITLE = {The approximate well-founded semantics for logic programs with uncertainty},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {541-550},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7E7AYBKEBN1BBXEA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lucking-Mavronicolas-Monien-Rode-Spirakis-Vrto/03,
AUTHOR = {L{\"u}cking, Thomas and Mavronicolas, Marios and Monien, Burkhard and Rode, Manuel and Spirakis, Paul and Vrto, Imrich},
TITLE = {Which is the worst-case Nash equilibrium?},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {551-561},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q9APV8DBYDYXVQTP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Luttik/03,
AUTHOR = {Luttik, Bas},
TITLE = {A unique decomposition theorem for ordered monoids with applications in process theory},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {562-571},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H1EFGHQ1XR1YMVN2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Martinez-Molinero/03,
AUTHOR = {Mart{\'{i}}nez, Conrado and Molinero, Xavier},
TITLE = {Generic algorithms for the generation of combinatorial objects},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {572-581},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HKU6C30VG3RJRJ5D},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Meer/03,
AUTHOR = {Meer, K.},
TITLE = {On the complexity of some problems in interval arithmetic},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {582-591},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YW0PJFT59L7TV5HU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Meghini-Tzitzikas-Spyratos/03,
AUTHOR = {Meghini, Carlo and Tzitzikas, Yannis and Spyratos, Nicolas},
TITLE = {An abduction-based method for index relaxation in taxonomy-based sources},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {592-601},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XN9DMA2262EAEDPB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Merkle-Reimann/03,
AUTHOR = {Merkle, Wolfgang and Reimann, Jan},
TITLE = {On selection functions that do not preserve normality},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {602-611},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5CYXJY272MPAWYFB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Miltersen-Radhakrishnan-Wegener/03,
AUTHOR = {Miltersen, Peter Bro and Radhakrishnan, Jaikumar and Wegener, Ingo},
TITLE = {On converting CNF to DNF},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {612-621},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=G5M6QFMN90464LQ7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Pisanti-Crochemore-Grossi-Sagot/03,
AUTHOR = {Pisanti, N. and Crochemore, M. and Grossi, R. and Sagot, M.-F.},
TITLE = {A basis of tiling motifs for generating repeated patterns and its complexity for higher quorum},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {622-631},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=T6E9QDKQV7AEGQYM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Reith/03,
AUTHOR = {Reith, Steffen},
TITLE = {On the complexity of some equivalence problems for propositional calculi},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {632-641},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {computational complexity, boolean functions, boolean isomorphism, boolean equivalence, closed classes, dichotomy, post, satisfiability problems},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=G2EYQJQRLP07HA8N},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Riedweg-Pinchinat/03,
AUTHOR = {Riedweg, St{\'e}phane and Pinchinat, Sophie},
TITLE = {Quantified mu-calculus for control synthesis},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {642-651},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4600DL4EBTRRFEC4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Rychlik/03,
AUTHOR = {Rychlik, Marcin},
TITLE = {On probabilistic quantified satisfiability games},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {652-661},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5Q4H4J28H2G4ANAT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Salehi/03,
AUTHOR = {Salehi, Saeed},
TITLE = {A completeness property of Wilke's tree algebras},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {662-670},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YWDY52X7724XR3KE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Woelfel/03,
AUTHOR = {Woelfel, Philipp},
TITLE = {Symbolic topological sorting with OBDDs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {671-680},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CX6FGU419QQP3MF0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Zheng-Rettinger-Gengler/03,
AUTHOR = {Zheng, Xizhong and Rettinger, Robert and Gengler, Romain},
TITLE = {Ershov's hierarchy of real numbers},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {681-690},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9271UCATX89Y8EUA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}