@incollection{Cheatham/94,
AUTHOR = {Cheatham, Thomas},
TITLE = {Models, languages, and compiler technology for high performance computers},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {3-26},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cosnard-Matamala/94,
AUTHOR = {Cosnard, Michel and Matamala, Mart{\'{i}}n},
TITLE = {On NC-real complexity classes for additive circuits and their relations with NC},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {27-37},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Duris-Rolim/94b,
AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Rolim, Jos{\'{e}} D.P.},
TITLE = {E-complete sets do not have optimal polynomial time approximations},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {38-51},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bloom-Esik/94,
AUTHOR = {Bloom, Stephen L. and {\'{E}}sik, Zolt{\'{a}}n},
TITLE = {Solving polynomial fixed point equations},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {52-67},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Makowsky/94,
AUTHOR = {Makowsky, J.A.},
TITLE = {Capturing complexity classes with Lindstr{\"o}m quantifiers},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {68-71},
YEAR = {1994},
EDITOR = {Pr{\'i}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=841&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Monien-Diekmann-Luling/94,
AUTHOR = {Monien, Burkhard and Diekmann, Ralf and L{\"u}ling, Reinhard},
TITLE = {Communication throughput of interconnection networks},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {72-86},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lipton-ODonnell/94,
AUTHOR = {Lipton, James and O'Donnell, Michael J.},
TITLE = {Intuitive counterexamples for constructive fallacies},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {87-111},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Orejas-Pino-Ehrig/94,
AUTHOR = {Orejas, Fernando and Pino, Elvira and Ehrig, Hartmut},
TITLE = {Algebraic methods in the compositional analysis of logic programs},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {112-126},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Paterson-Dancik/94,
AUTHOR = {Paterson, Mike and Dan{\v{c}}{\'{i}}k, Vlado},
TITLE = {Longest common subsequences},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {127-142},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pevzner-Lipshutz/94,
AUTHOR = {Pevzner, Pavel A. and Lipshutz, Robert J.},
TITLE = {Towards DNA sequencing chips},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {143-158},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sgall/94,
AUTHOR = {Sgall, Ji{\v{r}}{\'{i}}},
TITLE = {On-line scheduling of parallel jobs},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {159-176},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Winskel/94,
AUTHOR = {Winskel, Glynn},
TITLE = {Stable bistructure models of PCF},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {177-200},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Albers/94,
AUTHOR = {Albers, Susanne},
TITLE = {A competitive analysis of the list update problem with lookahead},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {201-210},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alessi-Dezani-Ciancaglini-deLiguoro/94,
AUTHOR = {Alessi, F. and Dezani-Ciancaglini, M. and de'Liguoro, U.},
TITLE = {May and must convergency in concurrent $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {211-220},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ambos-Spies-Neis-Terwijn/94,
AUTHOR = {Ambos-Spies, Klaus and Neis, Hans-Christian and Terwijn, Sebastiaan A.},
TITLE = {Genericity and measure for exponential time},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {221-232},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baeza-Yates/94,
AUTHOR = {Baeza-Yates, Ricardo A.},
TITLE = {Analysis of bounded disorder},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {233-244},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bertoni-Mereghetti-Pighizzini/94a,
AUTHOR = {Bertoni, Alberto and Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {On languages accepted with simultaneous complexity bounds and their ranking problem},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {245-255},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{de_Boer-Hulst/94,
AUTHOR = {de Boer, F.S. and Hulst, M. van},
TITLE = {A proof system for asynchronously communicating deterministic processes},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {256-265},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bouabdallah-Heydemann-Opatrny-Sotteau/94,
AUTHOR = {Bouabdallah, A. and Heydemann, M.C. and Opatrny, J. and Sotteau, D.},
TITLE = {Embedding complete binary trees into star networks},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {266-275},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Damm-Holzer/94,
AUTHOR = {Damm, Carsten and Holzer, Markus},
TITLE = {Inductive counting below Logspace},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {276-285},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dassow/94,
AUTHOR = {Dassow, J{\"u}rgen},
TITLE = {Decision problems for edge grammars},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {286-295},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dehne-Klein/94,
AUTHOR = {Dehne, Frank and Klein, Rolf},
TITLE = {"The Big Sweep": On the power of the wavefront approach to Voronoi diagrams},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {296-305},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Denejko-Diks-Pelc-Piotrow/94,
AUTHOR = {Denejko, Piotr and Diks, Krzysztof and Pelc, Andrzej and Piotr{\'{o}}w, Marek},
TITLE = {Reliable minimum finding comparator networks},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {306-315},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dessmark-Lingas-Garrido/94,
AUTHOR = {Dessmark, Anders and Lingas, Andrzej and Garrido, Oscar},
TITLE = {On parallel complexity of maximum $f$-matching and the degree sequence problem},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {316-325},
YEAR = {1994},
EDITOR = {Pr{\'i}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=841&spage=316},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dietzfelbinger-Hromkovic-Schnitger/94,
AUTHOR = {Dietzfelbinger, Martin and Hromkovi{\v{c}}, Juraj and Schnitger, Georg},
TITLE = {A comparison of two lower bound methods for communication complexity},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {326-335},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Obono-Goralcik-Maksimenko/94,
AUTHOR = {Obono, S. Eyono and Goralcik, P. and Maksimenko, M.},
TITLE = {Efficient solving of the word equations in one variable},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {336-341},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ferrari-Montanari-Quaglia/94,
AUTHOR = {Ferrari, GianLuigi and Montanari, Ugo and Quaglia, Paola},
TITLE = {A $\pi$-calculus with explicit substitutions: The late semantics},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {342-351},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Forti-Honsell-Lenisa/94,
AUTHOR = {Forti, Marco and Honsell, Furio and Lenisa, Marina},
TITLE = {Processes and hyperuniverses},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {352-363},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Frayman-Kanevsky-Kirchherr/94,
AUTHOR = {Frayman, Felix and Kanevsky, Valery and Kirchherr, Walter},
TITLE = {The combinatorial complexity of a finite string},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {364-372},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gold/94,
AUTHOR = {Gold, R.},
TITLE = {A fully abstract semantics for termination in petri nets},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {373-382},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Alves-Laurent-Spyratos/94,
AUTHOR = {Alves, M. Halfeld Ferrari and Laurent, D. and Spyratos, N.},
TITLE = {Passive and active rules in deductive databases},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {383-392},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hegedues/94,
AUTHOR = {Hegedues, T.},
TITLE = {Combinatorial results on the complexity of teaching and learning},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {393-402},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hermo/94,
AUTHOR = {Hermo, M.},
TITLE = {Degrees and reducibilities of easy tally sets},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {403-412},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hoogeboom-Pas/94,
AUTHOR = {Hoogeboom, H.J. and Pas, P. ten},
TITLE = {Mso definable text languages},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {413-422},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hromkovic-Kari-Kari-Pardubska/94,
AUTHOR = {Hromkovic, J. and Kari, J. and Kari, L. and Pardubska, D.},
TITLE = {Two lower bounds on distributive generation of languages},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {423-432},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Inverardi-Zilli/94,
AUTHOR = {Inverardi, P. and Zilli, M. Venturini},
TITLE = {Rational rewriting},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {433-442},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Karhumaeki-Plandowski/94,
AUTHOR = {Karhumaeki, J. and Plandowski, W.},
TITLE = {On the size of independent systems of equations in semigroups},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {443-452},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Karpinski-Rytter/94a,
AUTHOR = {Karpinski, M. and Rytter, W.},
TITLE = {On a sublinear time parallel construction of optimal binary search trees},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {453-461},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kavvadias-Pantziou-Spirakis-Zaroliagis/94a,
AUTHOR = {Kavvadias, D. and Pantziou, G.E. and Spirakis, P.G. and Zaroliagis, Ch.D.},
TITLE = {Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {462-472},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Klasing/94,
AUTHOR = {Klasing, R.},
TITLE = {The relationship between gossiping in vertex-disjoint paths mode and bisection width},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {473-483},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kurka/94a,
AUTHOR = {Kurka, P.},
TITLE = {A comparison of finite and cellular automata},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {484-493},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lange-Reinhardt/94,
AUTHOR = {Lange, K.J. and Reinhardt, K.},
TITLE = {Empty alternation},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {494-503},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{le_Saec-Litovsky/94,
AUTHOR = {le Saec, B. and Litovsky, I.},
TITLE = {On the minimization problem for omega-automata},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {504-514},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Meinel-Slobodova/94,
AUTHOR = {Meinel, Ch. and Slobodova, A.},
TITLE = {On the complexity of constructing optimal ordered binary decision diagrams},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {515-524},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Narayanan-Roy-Patkar/94,
AUTHOR = {Narayanan, H. and Roy, S. and Patkar, S.},
TITLE = {Approximation algorithms for min-k-overlap problems using the principal lattice of partitions approach},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {525-535},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{de_Nicola-Labella/94,
AUTHOR = {de Nicola, R. and Labella, A.},
TITLE = {A completeness theorem for nondeterministic kleene algebras},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {536-545},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Papatriantafilou-Tsigas/94a,
AUTHOR = {Papatriantafilou, M. and Tsigas, P.},
TITLE = {How a rainbow colouring function can simulate wait-free handshaking},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {546-555},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Plump/94,
AUTHOR = {Plump, D.},
TITLE = {Critical pairs in term graph rewriting},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {556-566},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Priami-Yankelevich/94,
AUTHOR = {Priami, C. and Yankelevich, D.},
TITLE = {Read-write causality},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {567-576},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Richomme/94,
AUTHOR = {Richomme, G.},
TITLE = {Some trace monoids where both the star problem and the finite power property problem are decidable},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {577-586},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Salomaa-Wood-Yu/94b,
AUTHOR = {Salomaa, K. and Wood, D. and Yu, S.},
TITLE = {Complexity of eol structural equivalence},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {587-596},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sibeyn-Chlebus-Kaufmann/94,
AUTHOR = {Sibeyn, J.F. and Chlebus, B.S. and Kaufmann, M.},
TITLE = {Shorter queues for permutation routing on meshes},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {597-607},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sieber/94,
AUTHOR = {Sieber, K.},
TITLE = {Full abstraction for the second order subset of an {ALGOL}-like language},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {608-617},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Weber-Head/94,
AUTHOR = {Weber, A. and Head, T.},
TITLE = {The finest homophonic partition and related code concepts},
BOOKTITLE = {Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science, MFCS'94 (Ko{\v{s}}ice, Slovakia, August 22-26, 1994)},
SERIES = {LNCS},
VOLUME = {841},
PAGES = {618-628},
YEAR = {1994},
EDITOR = {Pr{\'{i}}vara, Igor and Rovan, Branislv and Ru{\v{z}}i{\v{c}}ka, Peter},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}