@incollection{Dal_Zilio-Gordon/00,
AUTHOR = {Dal Zilio, Silvano and Gordon, Andrew D.},
TITLE = {Region analysis and a $\pi$ -calculus with groups},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {1-20},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YT8XLH908X86DWY2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Davenport/00,
AUTHOR = {Davenport, James H.},
TITLE = {Abstract data types in computer algebra},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {21-35},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LMJ8VA84AXXNV5JG},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Demetrescu-Italiano/00,
AUTHOR = {Demetrescu, Camil and Italiano, Giuseppe F.},
TITLE = {What do we learn from experimental algorithmics?},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {36-51},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YJ370KK82Q958DRX},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Grosu/00,
AUTHOR = {Grosu, Radu},
TITLE = {And/or hierarchies and round abstraction},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {52-63},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CBFURGTVA9H5UTLJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hemaspaandra-Hemaspaandra/00,
AUTHOR = {Hemaspaandra, Edith and Hemaspaandra, Lane A.},
TITLE = {Computational politics: Electoral systems},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {64-83},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KXNUEH37W63MXWM6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kolaitis-Vardi/00a,
AUTHOR = {Kolaitis, Phokion G. and Vardi, Moshe Y.},
TITLE = {0-1 laws for fragments of existential second-order logic: A survey},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {84-98},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AKP25VPTN7VJENLQ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{van_Leeuwen-Wiedermann/00a,
AUTHOR = {van Leeuwen, Jan and Wiedermann, Ji{\v{r}}{\'{i}}},
TITLE = {On algorithms and interaction},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {99-113},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QPWVC6YPWRWP1DG7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Zaks/00a,
AUTHOR = {Zaks, Shmuel},
TITLE = {On the use of duality and geometry in layouts for ATM networks},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {114-131},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MBNVMD21G1A11XC4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ablayev-Gainutdinova/00,
AUTHOR = {Ablayev, Farid and Gainutdinova, Aida},
TITLE = {On the lower bounds for one-way quantum automata},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {132-140},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KGWAPA2UH80UQTBM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Abramsky-Lenisa/00,
AUTHOR = {Abramsky, Samson and Lenisa, Marina},
TITLE = {Axiomatizing fully complete models for $ML$ polymorphic types},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {141-151},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=NF3A48JNC6TMB7P5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ambos-Spies/00,
AUTHOR = {Ambos-Spies, Klaus},
TITLE = {Measure theoretic completeness notions for the exponential time classes},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {152-161},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QX9MDKF40E91DR18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Barriere-Fabrega/00,
AUTHOR = {Barri{\`e}re, Lali and F{\`a}brega, Josep},
TITLE = {Edge-bisection of chordal rings},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {162-171},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RQ4LVRH8R414HQBA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Barrington-McKenzie-Moore-Tesson-Therien/00,
AUTHOR = {Barrington, David Mix and McKenzie, Pierre and Moore, Cris and Tesson, Pascal and Th{\'e}rien, Denis},
TITLE = {Equation satisfiability and program satisfiability for finite monoids},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {172-181},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RAEF8FU98797R4Y7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Berstel-Boasson/00,
AUTHOR = {Berstel, Jean and Boasson, Luc},
TITLE = {XML grammars},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {182-191},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9J1KA0C64FCGJWXQ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Biedl-Brejova-Vinar/00,
AUTHOR = {Biedl, Therese C. and Brejov{\'a}, Br{\v{o}}na and Vina{\v{r}}, Tom{\'a}{\v{s}}},
TITLE = {Simplifying flow networks},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {192-201},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WKC4W253X0WFR6AX},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Biedl-Cenek-Chan-Demaine-Demaine-Fleischer-Wang/00,
AUTHOR = {Biedl, Therese C. and {\v{C}}enek, Eowyn and Chan, Timothy M. and Demaine, Erik D. and Demaine, Martin L. and Fleischer, Rudolf and Wang, Ming-Wei},
TITLE = {Balanced $k$-colorings},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {202-211},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9DD8G8A6KRJWQ281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{de_Boer-Bonsangue/00,
AUTHOR = {de Boer, Frank S. and Bonsangue, Marcello M.},
TITLE = {A compositional model for confluent dynamic data-flow networks},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {212-221},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=555Y9AFB4XQ9A8T2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bollig/00,
AUTHOR = {Bollig, Beate},
TITLE = {Restricted nondeterministic read-once branching programs and an exponential lower bound for integer multiplication},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {222-231},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WBVGLYVQHU5NM3T0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bouyer-Dufourd-Fleury-Petit/00,
AUTHOR = {Bouyer, P. and Dufourd, C. and Fleury, E. and Petit, A.},
TITLE = {Expressiveness of updatable timed automata},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {232-242},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7P582T4AVBEYQJTR},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Buchholz-Klein-Kutrib/00a,
AUTHOR = {Buchholz, Thomas and Klein, Andreas and Kutrib, Martin},
TITLE = {Iterative arrays with small time bounds},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {243-252},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
KEYWORDS = {iterative arrays, cellular automata, computational complexity, time hierarchies},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=BYJEHQ125VF45UKV},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Caha-Gregor/00,
AUTHOR = {Caha, Rostislav and Gregor, Petr},
TITLE = {Embedding Fibonacci cubes into hypercubes with $\Omega (2^{cn})$ faulty nodes},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {253-263},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=20HV1J00Q8VAP3WY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Carpi-de_Luca/00,
AUTHOR = {Carpi, Arturo and de Luca, Aldo},
TITLE = {Periodic-like words},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {264-274},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Y34KRU442AP92D92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Carton-Thomas/00,
AUTHOR = {Carton, Olivier and Thomas, Wolfgang},
TITLE = {The monadic theory of morphic infinite words and generalizations},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {275-284},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=247DFCKY030F5P4M},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Comellas-Mitjana-Narayanan-Opatrny/00,
AUTHOR = {Comellas, Francesc and Mitjana, Margarida and Narayanan, Lata and Opatrny, Jaroslav},
TITLE = {Optical routing of uniform instances in tori},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {285-294},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XR534CBEGK5612P1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{De_Felice/00,
AUTHOR = {De Felice, Clelia},
TITLE = {Factorizing codes and Sch{\"u}tzenberger conjectures},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {295-303},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D77YFQ28HMHFJLC2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dezani-Ciancaglini-Honsell-Motohama/00,
AUTHOR = {Dezani-Ciancaglini, M. and Honsell, F. and Motohama, Y.},
TITLE = {Compositional characterizations of $\lambda$-terms using intersection types},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {304-313},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=N9Q6TNUKYMB5THER},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dobrev/00,
AUTHOR = {Dobrev, Stefan},
TITLE = {Time and message optimal leader election in asynchronous oriented complete networks},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {314-322},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=J2E27L30U7R709HY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Durand-Hermann-Kolaitis/00,
AUTHOR = {Durand, Arnaud and Hermann, Miki and Kolaitis, Phokion G.},
TITLE = {Subtractive reductions and complete problems for counting complexity classes},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {323-332},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8C9G507NMKCCUWG6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ebert-Vollmer/00,
AUTHOR = {Ebert, Todd and Vollmer, Heribert},
TITLE = {On the autoreducibility of random sequences},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {333-342},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XUJMP13PA7K94DLC},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Essik/00,
AUTHOR = {{\'Es}sik, Zolt{\'a}n},
TITLE = {Iteration theories of Boolean functions},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {343-352},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4LRGEHA8G0EXDDPE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Finkel-Sutre/00a,
AUTHOR = {Finkel, A. and Sutre, G.},
TITLE = {An algorithm constructing the semilinear post* for 2-dim Reset/Transfer VASS},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {353-362},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VME65QNYPFWYV29F},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fotakis-Nikoletseas-Papadopoulou-Spirakis/00,
AUTHOR = {Fotakis, D.A. and Nikoletseas, S.E. and Papadopoulou, V.G. and Spirakis, P.G.},
TITLE = {$NP$-completeness results and efficient approximations for radiocoloring in planar graphs},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {363-372},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GQGTD9DKB8RE35RL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gardner-Wischik/00,
AUTHOR = {Gardner, Philippa and Wischik, Lucian},
TITLE = {Explicit fusions},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {373-382},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6J13FJ501QRAVM9C},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Groote-van_de_Pol/00,
AUTHOR = {Groote, Jan Friso and van de Pol, Jaco},
TITLE = {State space reduction using partial $\tau$-confluence},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {383-393},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VMC65EC16CA7NJVK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hemaspaandra-Ogihara-Wechsung/00,
AUTHOR = {Hemaspaandra, Lane A. and Ogihara, Mitsunori and Wechsung, Gerd},
TITLE = {Reducing the number of solutions of $NP$ functions},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {394-404},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WF1FXCJL5XYLQP2V},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Henriksen-Mukund-Kumar-Thiagarajan/00a,
AUTHOR = {Henriksen, Jesper G. and Mukund, Madhavan and Kumar, K. Narayan and Thiagarajan, P.S.},
TITLE = {Regular collections of message sequence charts},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {405-414},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=BVFEW6DXXTP36E3M},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Holzer-McKenzie/00,
AUTHOR = {Holzer, Markus and McKenzie, Pierre},
TITLE = {Alternating and empty alternating auxiliary stack automata},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {415-425},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H2QRGMP6NM0NMYGB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ibarra-Su-Dang-Bultan-Kemmerer/00,
AUTHOR = {Ibarra, Oscar H. and Su, Jianwen and Dang, Zhe and Bultan, Tevfik and Kemmerer, Richard},
TITLE = {Counter machines: Decidable properties and applications to verification problems},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {426-435},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=535QVAUL7002CVUJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Iwama-Matsuura-Paterson/00,
AUTHOR = {Iwama, Kazuo and Matsuura, Akihiro and Paterson, Mike},
TITLE = {A family of NFA's which need $2^n - \alpha$ deterministic states},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {436-445},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KJ1KMBX98C388TC1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Jansen-Porkolab/00a,
AUTHOR = {Jansen, Klaus and Porkolab, Lorant},
TITLE = {Preemptive scheduling on dedicated processors: Applications of fractional graph coloring},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {446-455},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6GLQYC37CG792G7N},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Klima-Srba/00,
AUTHOR = {Kl{\'{i}}ma, Ond{\v{r}}ej and Srba, Ji{\v{r}}{\'{i}}},
TITLE = {Matching modulo associativity and idempotency is $NP$-complete},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {456-466},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MM0Y2UX9AW8GNVCM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kosub/00,
AUTHOR = {Kosub, Sven},
TITLE = {On $NP$-partitions over posets with an application to reducing the set of solutions of $NP$ problems},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {467-476},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RYV71U44C7T5X5Q7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kral/00,
AUTHOR = {Kr{\'a}l', Daniel},
TITLE = {Algebraic and uniqueness properties of parity ordered binary decision diagrams and their generalization},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {477-487},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Y7C3W472TNCAE7P8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kuich/00,
AUTHOR = {Kuich, Werner},
TITLE = {Formal series over algebras},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {488-496},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=K9GWNHLJMJ0A6KNH},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kupferman-Vardi/00b,
AUTHOR = {Kupferman, Orna and Vardi, Moshe Y.},
TITLE = {$\mu$-calculus synthesis},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {497-507},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1V2BR5FKLC0BJKLJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lafitte-Mazoyer/00,
AUTHOR = {Lafitte, Gr{\'e}gory and Mazoyer, Jacques},
TITLE = {The infinite versions of $LOGSPACE \neq P$ are consistent with the axioms of set theory},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {508-517},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1AL27KCF59QNL1TN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lanotte-Maggiolo-Schettini/00,
AUTHOR = {Lanotte, Ruggero and Maggiolo-Schettini, Andrea},
TITLE = {Timed automata with monotonic activities},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {518-527},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=51EPY75Q1AMV56VW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lozin/00,
AUTHOR = {Lozin, Vadim V.},
TITLE = {On a generalization of bi-complement reducible graphs},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {528-538},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3ERW55K46UTJLGUC},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ly/00,
AUTHOR = {Ly, Olivier},
TITLE = {Automatic graphs and graph D0L-systems},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {539-548},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DVL7619HAMVJ9BKJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mantaci-Blondel-Mairesse/00,
AUTHOR = {Mantaci, Sabrina and Blondel, Vincent D. and Mairesse, Jean},
TITLE = {Bilinear functions and trees over the $(\max,+)$ semiring},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {549-558},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=N20K7GG455C1M0XE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Montanari-Policriti-Slanina/00,
AUTHOR = {Montanari, Angelo and Policriti, Alberto and Slanina, Matteo},
TITLE = {Derivability in locally quantified modal logics via translation in set theory},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {559-568},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=M1JEKBMJ72Y5LY22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Montanari-Pistore/00,
AUTHOR = {Montanari, Ugo and Pistore, Marco},
TITLE = {$\pi$-calculus, structured coalgebras and minimal HD-automata},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {569-578},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=03ADBPEXBVVHCL58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Peleg/00b,
AUTHOR = {Peleg, David},
TITLE = {Informative labeling schemes for graphs},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {579-588},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=274UJATFUB2NPJTV},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Petersen/00,
AUTHOR = {Petersen, Holger},
TITLE = {Separation results for rebound automata},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {589-598},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=BVNLGMEPBRD60CQ5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pighizzini/00,
AUTHOR = {Pighizzini, Giovanni},
TITLE = {Unary pushdown automata and auxiliary space lower bounds},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {599-608},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7FCNGMDTFNURNC11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{van_de_Pol-Zantema/00,
AUTHOR = {van de Pol, Jaco and Zantema, Hans},
TITLE = {Binary decision diagrams by shared rewriting},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {609-618},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=A1736A3PLXPL0UER},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Prensa_Nieto-Esparza/00,
AUTHOR = {Prensa Nieto, Leonor and Esparza, Javier},
TITLE = {Verifying single and multi-mutator garbage collectors with Owicki-Gries in Isabelle/HOL},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {619-628},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VTN7C9Q8PRMWM0D5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Rabinovich-Maoz/00,
AUTHOR = {Rabinovich, Alexander and Maoz, Shahar},
TITLE = {Why so many temporal logics climb up the trees?},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {629-639},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CEHX2GU0A506MRR7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Reith-Vollmer/00,
AUTHOR = {Reith, Steffen and Vollmer, Heribert},
TITLE = {Optimal satisfiability for propositional calculi and constraint satisfaction problems},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {640-649},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LJ352GM4L6EDYMX2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Savicky-Sieling/00,
AUTHOR = {Savick{\'y}, Petr and Sieling, Detlef},
TITLE = {A hierarchy result for read-once branching programs with restricted parity nondeterminism},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {650-659},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=69Q470UP4TNTDAPL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schwentick/00,
AUTHOR = {Schwentick, Thomas},
TITLE = {On diving in trees},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {660-669},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FR1NRATUEP8M3L0U},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Tanaka/00,
AUTHOR = {Tanaka, Miki},
TITLE = {Abstract syntax and variable binding for linear binders},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {670-679},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PULYH2W5JKHB4N24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Urvoy/00,
AUTHOR = {Urvoy, Tanguy},
TITLE = {Regularity of congruential graphs},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {680-689},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=80K3TLT0EE4EA6V8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Wich/00,
AUTHOR = {Wich, Klaus},
TITLE = {Sublinear ambiguity},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {690-698},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=E0PFATAC78BEH75J},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Yamamoto/00a,
AUTHOR = {Yamamoto, Hiroaki},
TITLE = {An automata-based recognition algorithm for semi-extended regular expressions},
BOOKTITLE = {Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS'2000 (Bratislava, Slovakia, August 28 - September 1, 2000)},
SERIES = {LNCS},
VOLUME = {1893},
PAGES = {699-708},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Rovan, Branislav},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9WVRFCMJENM4VBQJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}