@incollection{Frougny/99,
AUTHOR = {Frougny, Christiane},
TITLE = {On-line addition in real base},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {1-11},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Meer/99,
AUTHOR = {Meer, Klaus},
TITLE = {Query languages for real number databases based on descriptive complexity over $R$},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {12-22},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Zheng-Weihrauch/99,
AUTHOR = {Zheng, Xizhong and Weihrauch, Klaus},
TITLE = {The arithmetical hierarchy of real numbers},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {23-33},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Manzini/99a,
AUTHOR = {Manzini, Giovanni},
TITLE = {The Burrows-Wheeler transform: Theory and practice},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {34-47},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gasieniec-Gibbons-Rytter/99,
AUTHOR = {Ga{\c{s}}ieniec, Leszek and Gibbons, Alan and Rytter, Wojciech},
TITLE = {Efficiency of fast parallel pattern searching in highly compressed texts},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {48-58},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Loyer-Spyratos-Stamate/99,
AUTHOR = {Loyer, Yann and Spyratos, Nicolas and Stamate, Daniel},
TITLE = {Computing and comparing semantics of programs in four-valued logics},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {59-69},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mosses/99,
AUTHOR = {Mosses, Peter D.},
TITLE = {Foundations of modular SOS},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {70-80},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Muscholl-Peled/99,
AUTHOR = {Muscholl, Anca and Peled, Doron},
TITLE = {Message sequence graphs and decision problems on Mazurkiewicz traces},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {81-91},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Durand-Hermann-Juban/99,
AUTHOR = {Durand, Arnaud and Hermann, Miki and Juban, Laurent},
TITLE = {On the complexity of recognizing the Hilbert basis of a linear diophantine system},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {92-102},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Havas-Seifert/99,
AUTHOR = {Havas, George and Seifert, Jean-Pierre},
TITLE = {The complexity of the extended GCD problem},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {103-113},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lohrey/99,
AUTHOR = {Lohrey, Markus},
TITLE = {Complexity results for confluence problems},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {114-124},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Aceto-Laroussinie/99,
AUTHOR = {Aceto, Luca and Laroussinie, Fran{\c{c}}ois},
TITLE = {Is your model checker on time? On the complexity of model checking for timed modal logics},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {125-136},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bolotov-Dixon-Fisher/99,
AUTHOR = {Bolotov, Alexander and Dixon, Clare and Fisher, Michael},
TITLE = {Clausal resolution for CTL$\star$},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {137-148},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hungar/99,
AUTHOR = {Hungar, Hardi},
TITLE = {Model checking and higher-order recursion},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {149-159},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Manuch/99,
AUTHOR = {Ma{\v{n}}uch, J{\'{a}}n},
TITLE = {Multiparty communication complexity: Very hard functions},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {160-169},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Herlihy-Rajsbaum/99,
AUTHOR = {Herlihy, Maurice and Rajsbaum, Sergio},
TITLE = {New perspectives in distributed computing},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {170-186},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Crudzinski/99,
AUTHOR = {Crudzi{\'n}ski, Grzegorz},
TITLE = {An improved disjunctive strictness analysis},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {187-197},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lassen-Moran/99,
AUTHOR = {Lassen, S{\o}ren B. and Moran, Andrew},
TITLE = {Unique fixed point induction for McCarthys Amb},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {198-208},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Margara/99,
AUTHOR = {Margara, Luciano},
TITLE = {On some topological properties of linear cellular automata},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {209-219},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Nakamura/99,
AUTHOR = {Nakamura, Katsuhiko},
TITLE = {Real-time language recognition by one-way and two-way cellular automata},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {220-230},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Nicaud/99,
AUTHOR = {Nicaud, Cyril},
TITLE = {Average state complexity of operations on unary automata},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {231-240},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Petersen/99,
AUTHOR = {Petersen, Holger},
TITLE = {Fooling rebound automata},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {241-250},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sieling/99,
AUTHOR = {Sieling, Detlef},
TITLE = {The complexity of minimizing FBDDs},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {251-261},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Woelfel/99,
AUTHOR = {Woelfel, Philipp},
TITLE = {Efficient strongly universal and optimally universal hashing},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {262-272},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Glazek/99,
AUTHOR = {G{\l}azek, W{\l}odzimierz},
TITLE = {Lower and upper bounds for the problem of page replication in ring networks},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {273-283},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kozen/99,
AUTHOR = {Kozen, Dexter},
TITLE = {Language-based security},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {284-298},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Crulis/99,
AUTHOR = {C{\={\i}}rulis, J{\=a}nis},
TITLE = {An algebraic approach to knowledge representation},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {299-309},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Janin-Lenzi/99,
AUTHOR = {Janin, D. and Lenzi, G.},
TITLE = {On the structure of the monadic logic of the binary tree},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {310-320},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Nguyen/99,
AUTHOR = {Nguyen, Linh Anh},
TITLE = {A new space bound for the modal logics K4, KD4 and S4},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {321-331},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gambin/99,
AUTHOR = {Gambin, Anna},
TITLE = {On approximating the number of bases of exchange preserving matroids},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {332-342},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{de_Boer-Roever-Hannemann/99,
AUTHOR = {de Boer, F.S. and Roever, W.-P. de and Hannemann, U.},
TITLE = {The semantic foundations of a compositional proof method for synchronously communicating processes},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {343-353},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Froschle-Hildebrandt/99,
AUTHOR = {Fr{\"o}schle, Sibylle B. and Hildebrandt, Thomas T.},
TITLE = {On plain and hereditary history-preserving bisimulation},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {354-365},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Stribrna/99,
AUTHOR = {St{\v{r}}{\'{i}}brn{\'{a}}, Jitka},
TITLE = {Approximating weak bisimulation on basic process algebras},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {366-375},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Caragiannis-Kaklamanis-Persiano/99,
AUTHOR = {Caragiannis, Ioannis and Kaklamanis, Christos and Persiano, Pino},
TITLE = {Edge coloring of bipartite graphs},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {376-386},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fernau-Niedermeier/99,
AUTHOR = {Fernau, Henning and Niedermeier, Rolf},
TITLE = {An efficient exact algorithm for constraint bipartite vertex cover},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {387-397},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Makino-Uno-Ibaraki/99,
AUTHOR = {Makino, Kazuhisa and Uno, Yushi and Ibaraki, Toshihide},
TITLE = {On minimum edge ranking spanning trees},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {398-409},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bernholt-Gulich-Hofmeister-Schmitt/99,
AUTHOR = {Bernholt, Thorsten and G{\"u}lich, Alexander and Hofmeister, Thomas and Schmitt, Niels},
TITLE = {Football elimination is hard to decide under the 3-point-rule},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {410-418},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hertrampf/99,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Generalized regular counting classes},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {419-429},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Yamakami/99a,
AUTHOR = {Yamakami, Tomoyuki},
TITLE = {A foundation of programming a multi-tape quantum Turing machine},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {430-441},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Tofte/99,
AUTHOR = {Tofte, Mads},
TITLE = {A type discipline for solving year 2000 problems in COBOL programs},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {442-442},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Tiuryn/99,
AUTHOR = {Tiuryn, Jerzy},
TITLE = {Type reconstruction for functional programs with subtyping over a lattice of atomic types},
BOOKTITLE = {Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99 (Szklarska Por{\c{e}}ba, Poland, September 6-10, 1999)},
SERIES = {LNCS},
VOLUME = {1672},
PAGES = {443-453},
YEAR = {1999},
EDITOR = {Kuty{\l}owski, Miros{\l}aw and Pacholski, Leszek and Wierzbicki, Tomasz},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}