@incollection{Vishkin/92,
AUTHOR = {Vishkin, Uzi},
TITLE = {Methods in parallel algorithmics},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {81},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Agarwal-Matousek/92b,
AUTHOR = {Agarwal, Pankaj K. and Matou{\v{s}}ek, Ji{\v{r}}{\'i}},
TITLE = {On range searching with semialgebraic sets},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {1-13},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diaz/92,
AUTHOR = {D{\'i}az, J.},
TITLE = {Graph layout problems},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {14-23},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lange-Rossmanith-Rytter/92,
AUTHOR = {Lange, Klaus-J{\"o}rn and Rossmanith, Peter and Rytter, Wojciech},
TITLE = {Parallel recognition and ranking of context-free languages},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {24-36},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mihail/92,
AUTHOR = {Mihail, Milena},
TITLE = {On the expansion of combinatorial polytopes},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {37-49},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Orponen/92,
AUTHOR = {Orponen, Pekka},
TITLE = {Neural networks and complexity theory},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {50-61},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Tucker-Zucker/92,
AUTHOR = {Tucker, J.V. and Zucker, J.I.},
TITLE = {Theory of computation over stream algebras, and its applications},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {62-80},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Watanabe/92,
AUTHOR = {Watanabe, Osamu},
TITLE = {On the complexity of small description and related topics},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {82-94},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wiedermann/92,
AUTHOR = {Wiedermann, Juraj},
TITLE = {Weak parallel machines: A new class of physically feasible parallel machine models},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {95-111},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wigderson/92,
AUTHOR = {Wigderson, Avi},
TITLE = {The complexity of graph connectivity},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {112-132},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=112},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bast-Dietzfelbinger-Hagerup/92,
AUTHOR = {Bast, Holger and Dietzfelbinger, Martin and Hagerup, Torben},
TITLE = {A perfect parallel dictionary},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {133-141},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker-Hartmann/92,
AUTHOR = {Becker, Bernd and Hartmann, Joachim},
TITLE = {Some remarks on the test complexity of iterative logic arrays},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {142-152},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=142},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Burtschick-Hoene/92,
AUTHOR = {Burtschick, Hans-J{\"o}rg and Hoene, Albrecht},
TITLE = {The degree structure of 1-L reductions},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {153-161},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=153},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Hemachandra-Vyskoc/92,
AUTHOR = {Cai, Jin-yi and Hemachandra, Lane A. and Vysko{\v{c}}, Jozef},
TITLE = {Promise problems and access to unambiguous computation},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {162-171},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chari-Ranjan-Rohatgi/92,
AUTHOR = {Chari, Suresh and Ranjan, Desh and Rohatgi, Pankaj},
TITLE = {On the complexity of incremental computation},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {172-180},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=172},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut-Goldwurm/92,
AUTHOR = {Choffrut, Christian and Goldwurm, Massimiliano},
TITLE = {Rational transductions and complexity of counting problems},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {181-190},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=181},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Comon-Fernandez/92,
AUTHOR = {Comon, Hubert and Fern{\'a}ndez, Maribel},
TITLE = {Negation elimination in equational formulae},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {191-199},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Costa-Sernadas-Sernadas-Ehrich/92,
AUTHOR = {Costa, J.F. and Sernadas, A. and Sernadas, C. and Ehrich, H.-D.},
TITLE = {Object interaction},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {200-208},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=200},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Curien-Hardin-Rios/92,
AUTHOR = {Curien, P.-L. and Hardin, T. and R{\'i}os, A.},
TITLE = {Strong normalization of substitutions},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {209-217},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Daley-Kalyanasundaram/92,
AUTHOR = {Daley, Robert and Kalyanasundaram, Bala},
TITLE = {Probabilistic and pluralistic learners with mind changes},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {218-226},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Damm-Holzer-Lange/92,
AUTHOR = {Damm, Carsten and Holzer, Markus and Lange, Klaus-J{\"o}rn},
TITLE = {Parallel complexity of iterated morphisms and the arithmetic of small numbers},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {227-235},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Derencourt-Karhumaki-Latteux-Terlutte/92,
AUTHOR = {Derencourt, D. and Karhum{\"a}ki, J. and Latteux, M. and Terlutte, A.},
TITLE = {On computational power of weighted finite automata},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {236-245},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=236},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Feldmann-Mysliwietz/92,
AUTHOR = {Feldmann, Rainer and Mysliwietz, Peter},
TITLE = {The shuffle exchange network has a Hamiltonian path},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {246-254},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=246},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gastin-Petit/92,
AUTHOR = {Gastin, Paul and Petit, Antoine},
TITLE = {Poset properties of complex traces},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {255-263},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=255},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goerdt/92c,
AUTHOR = {Goerdt, Andreas},
TITLE = {A threshold for unsatisfiability},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {264-274},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=264},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gold/92,
AUTHOR = {Gold, Robert},
TITLE = {Dataflow semantics for Petri nets},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {275-283},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=275},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Guessarian-Veloso-Peixoto/92,
AUTHOR = {Guessarian, Ir{\`e}ne and Veloso-Peixoto, Marcos},
TITLE = {About boundedness for some {DATALOG} and $\mbox{DATALOG}^{neg}$ programs},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {284-297},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=284},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hagerup-Petersson/92,
AUTHOR = {Hagerup, Torben and Petersson, Ola},
TITLE = {Merging and sorting strings in parallel},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {298-306},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=298},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jancar-Mras-Platek/92,
AUTHOR = {Jan{\v{c}}ar, Petr and Mr{\'a}s, Franti{\v{s}}ek and Pl{\'a}tek, Martin},
TITLE = {Characterization of context-free languages by erasing automata},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {307-314},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=307},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kari/92a,
AUTHOR = {Kari, Lila},
TITLE = {Insertion and deletion of words: Determinism and reversibility},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {315-326},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kascak/92,
AUTHOR = {Ka{\v{s}}{\v{c}}{\'a}k, F.},
TITLE = {Small universal one-state linear operator algorithm},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {327-335},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Laneve-Montanari/92,
AUTHOR = {Laneve, Cosimo and Montanari, Ugo},
TITLE = {Mobility in the CC-paradigm},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {336-345},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=336},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lange-Rossmanith/92,
AUTHOR = {Lange, Klaus-J{\"o}rn and Rossmanith, Peter},
TITLE = {The emptiness problem for intersections of regular languages},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {346-354},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=346},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Leung/92,
AUTHOR = {Leung, Hing},
TITLE = {On finite automata with limited nondeterminism},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {355-363},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=355},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Litovsky-Metivier-Sopena/92,
AUTHOR = {Litovsky, Igor and M{\'e}tivier, Yvers and Sopena, Eric},
TITLE = {Definitions and comparisons of local computations on graphs},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {364-373},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=364},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Martin/92a,
AUTHOR = {Martin, Bruno},
TITLE = {Efficient unidimensional universal cellular automaton},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {374-382},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=374},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Maruyama-Miyano/92,
AUTHOR = {Maruyama, Osamu and Miyano, Satoru},
TITLE = {Inferring a tree from walks},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {383-391},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=383},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mayordomo/92,
AUTHOR = {Mayordomo, Elvira},
TITLE = {Almost every set in exponential time is P-Bi-immune},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {392-400},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=392},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Murphy-Poigne/92,
AUTHOR = {Murphy, David and Poign{\'e}, Axel},
TITLE = {A functorial semantics for observed concurrency},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {401-411},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=401},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ochmanski/92,
AUTHOR = {Ochma{\'n}ski, Edward},
TITLE = {Modelling concurrency with semi-commutations},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {412-420},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pedersen/92,
AUTHOR = {Pedersen, John},
TITLE = {Decision problems for cellular automata and their semigroups},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {421-429},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=421},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pinna-Poigne/92,
AUTHOR = {Pinna, G. Michele and Poign{\'e}, Axel},
TITLE = {On the nature of events},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {430-441},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=430},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Preilowski-Dahlhaus-Wechsung/92,
AUTHOR = {Preilowski, W. and Dahlhaus, E. and Wechsung, G.},
TITLE = {New parallel algorithms for convex hull and triangulation in 3-dimensional space},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {442-450},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=442},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Przymusinski/92,
AUTHOR = {Przymusinski, Teodor C.},
TITLE = {Two simple characterizations of well-founded semantics},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {451-462},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=451},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ramesh/92,
AUTHOR = {Ramesh, S.},
TITLE = {Fully abstract semantics for higher order communicating systems},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {463-471},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reimen/92,
AUTHOR = {Reimen, Nicolas},
TITLE = {Superposable trellis automata},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {472-482},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=472},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Roos-Albers/92,
AUTHOR = {Roos, Thomas and Albers, Gerhard},
TITLE = {Maintaining proximity in higher dimensional spaces},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {483-493},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=483},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Szilard-Yu-Zhang-Shallit/92,
AUTHOR = {Szilard, Andrew and Yu, Sheng and Zhang, Kaizhong and Shallit, Jeffrey},
TITLE = {Characterizing regular languages with polynomial densities},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {494-503},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=494},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wang/92a,
AUTHOR = {Wang, Dongming},
TITLE = {A strategy for speeding-up the computation of characteristic sets},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {504-510},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=504},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wrathall-Diekert-Otto/92,
AUTHOR = {Wrathall, C. and Diekert, V. and Otto, F.},
TITLE = {One-rule trace-rewriting systems and confluence},
BOOKTITLE = {Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, MFCS'92 (Prague, Czechoslovakia, August 24-28,1992)},
SERIES = {LNCS},
VOLUME = {629},
PAGES = {511-521},
YEAR = {1992},
EDITOR = {Havel, I.M. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=629&spage=511},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}