@incollection{Book/88a,
AUTHOR = {Book, R.W.},
TITLE = {Sparse sets, tally sets, and polynomial reducibilities},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {1-13},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bohm/88,
AUTHOR = {B{\"o}hm, C.},
TITLE = {Functional programming and combinatory algebras},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {14-26},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cherkasova/88,
AUTHOR = {Cherkasova, L.A.},
TITLE = {On models and algebras for concurrent processes},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {27-43},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crochemore/88,
AUTHOR = {Crochemore, M.},
TITLE = {String matching with constraints},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {44-58},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hemachandra/88,
AUTHOR = {Hemachandra, L.A.},
TITLE = {Structure of complexity classes: separations, collapses, and completeness},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {59-72},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kinber/88,
AUTHOR = {Kinber, E.B.},
TITLE = {Inductive syntactical synthesis of programs from sample computations},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {73-84},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reif-Storer/88,
AUTHOR = {Reif, J.H. and Storer, J.A.},
TITLE = {$3$-dimensional shortest paths in the presence of polyhedral obstacles},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {85-92},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schoning/88,
AUTHOR = {Sch{\"o}ning, U.},
TITLE = {Robust oracle machines},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {93-106},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Simon/88d,
AUTHOR = {Simon, I.},
TITLE = {Recognizable sets with multiplicities in the tropical semiring},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {107-120},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wirsing-Hennicker-Breu/88,
AUTHOR = {Wirsing, M. and Hennicker, R. and Breu, R.},
TITLE = {Reusable specification components},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {121-137},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Monien-Sudborough/88,
AUTHOR = {Monien, B. and Sudborough, H.},
TITLE = {Comparing interconnection networks},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {138-153},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=138},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ablayev/88,
AUTHOR = {Ablayev, F.M.},
TITLE = {Probabilistic automata complexity of languages depends on language structure and error probability},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {154-161},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allevi-Cherubini-Crespi_Reghizzi/88,
AUTHOR = {Allevi, E. and Cherubini, A. and Crespi Reghizzi, S.},
TITLE = {Breadth-first phrase structure grammars and queue automata},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {162-170},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=162},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bauernoppel-Jung/88,
AUTHOR = {Bauern{\"o}ppel, F. and Jung, H.},
TITLE = {Implementing abstract data structures in hardware},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {171-179},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beauquier-Petit/88,
AUTHOR = {Beauquier, J. and Petit, A.},
TITLE = {Distribution of sequential processes},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {180-189},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bossut-Dauchet-Warin/88,
AUTHOR = {Bossut, F. and Dauchet, M. and Warin, B.},
TITLE = {Automata and rational expressions on planar graphs},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {190-200},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=190},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruyere/88a,
AUTHOR = {Bruyere, V.},
TITLE = {On maximal prefix sets of words},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {201-209},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=201},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carstensen/88,
AUTHOR = {Carstensen, H.},
TITLE = {Infinite behaviour of deterministic Petri nets},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {210-219},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=210},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus-Diks-Radzik/88,
AUTHOR = {Chlebus, B.S. and Diks, K. and Radzik, T.},
TITLE = {Testing isomorphism of outerplanar graphs in parallel},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {220-230},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=220},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chlebus-Diks-Hagerup-Radzik/88,
AUTHOR = {Chlebus, B.S. and Diks, K. and Hagerup, T. and Radzik, T.},
TITLE = {Efficient simulations between concurrent-read concurrent-write PRAM models},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {231-239},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Danecki/88,
AUTHOR = {Danecki, R.},
TITLE = {Multiple propositional dynamic logic of parallel programs (extended abstract)},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {240-248},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=240},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{dAtri-Moscarini-Sassano/88,
AUTHOR = {d'Atri, A. and Moscarini, M. and Sassano, A.},
TITLE = {The Steiner tree problem and homogeneous sets},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {249-261},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dauchet/88,
AUTHOR = {Dauchet, M.},
TITLE = {Termination of rewriting is undecidable in the one-rule case},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {262-270},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=262},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert-Vogler/88,
AUTHOR = {Diekert, V. and Vogler, W.},
TITLE = {Local checking of trace synchronizability (extended abstract)},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {271-279},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=271},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diks-Djidjev-Sykora-Vrto/88,
AUTHOR = {Diks, K. and Djidjev, H.N. and S{\'y}kora, O. and Vr{\v{t}}o, I.},
TITLE = {Edge separators for planar graphs and their applications},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {280-290},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=280},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frumkin/88,
AUTHOR = {Frumkin, M.A.},
TITLE = {A fast parallel algorithm for eigenvalue problem of Jacobi matrices},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {291-299},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gavalda-Balcazar/88,
AUTHOR = {Gavald{\`a}, R. and Balc{\'a}zar, J.L.},
TITLE = {Strong and robustly strong polynomial time reducibilities to sparse sets},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {300-308},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Geffert/88,
AUTHOR = {Geffert, V.},
TITLE = {Context-free-like forms for the phrase-structure grammars},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {309-317},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=309},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goerdt/88a,
AUTHOR = {Goerdt, A.},
TITLE = {On the expressive strength of the finitely typed lambda-terms},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {318-328},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=318},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goerdt/88,
AUTHOR = {Goerdt, A.},
TITLE = {Hoare calculi for higher-type control structures and their completeness in the sense of Cook},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {329-338},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=329},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Goltz/88,
AUTHOR = {Goltz, U.},
TITLE = {On representing CCS programs by finite Petri nets},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {339-350},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Rosier-Yen/88,
AUTHOR = {Howell, R.R. and Rosier, L.E. and Yen, H.-C.},
TITLE = {A taxonomy of fairness and temporal logic problems for Petri nets},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {351-359},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=351},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hromkovic-Prochazka/88,
AUTHOR = {Hromkovi{\v{c}}, J. and Proch{\'a}zka, J.},
TITLE = {Branching programs as a tool for proving lower bounds on VLSI computations and optimal algorithms for systolic arrays},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {360-370},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=360},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jukna/88,
AUTHOR = {Jukna, S.P.},
TITLE = {Two lower bounds for circuits over the basis ($\&,\vee,-$)},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {371-380},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=371},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kaplan/88a,
AUTHOR = {Kaplan, S.},
TITLE = {Positive/negative conditional rewriting},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {381-395},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=381},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kratochvil-Krivanek/88,
AUTHOR = {Kratochv{\'i}l, J. and K{\v{r}}iv{\'a}nek, M.},
TITLE = {On the computational complexity of codes in graphs},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {396-404},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=396},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Krause-Meinel-Waack/88,
AUTHOR = {Krause, M. and Meinel, Ch. and Waack, S.},
TITLE = {Separating the eraser Turing machine classes $L_e$, $NL_e$, co-$NL_e$ and $P_e$},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {405-413},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=405},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Larsen-Thomsen/88,
AUTHOR = {Larsen, K.G. and Thomsen, B.},
TITLE = {Compositional proofs by partial specification of processes},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {414-423},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=414},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Laurent-Spyratos/88,
AUTHOR = {Laurent, D. and Spyratos, N.},
TITLE = {Introducing negative information in relational databases},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {424-432},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=424},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Le_Chenadec/88,
AUTHOR = {Le Chenadec, P.},
TITLE = {On positive occur-checks in unification},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {433-444},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=433},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lorys-Liskiewicz/88,
AUTHOR = {Lory{\'s}, K. and Li{\'s}kiewicz, M.},
TITLE = {Two applications of F{\"u}rer's counter to one-tape nondeterministic TMs},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {445-453},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=445},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Miyano/88b,
AUTHOR = {Miyano, S.},
TITLE = {$\Delta^p_2$-complete lexicographically first maximal subgraph problems},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {454-462},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=454},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Orlowska/88a,
AUTHOR = {Or{\l}owska, E.},
TITLE = {Proof system for weakest prespecification and its applications},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {463-471},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Piotrow/88,
AUTHOR = {Piotr{\'o}w, M.},
TITLE = {On complexity of counting},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {472-482},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=472},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lu-Qian/88,
AUTHOR = {Lu, Q. and Qian, J.},
TITLE = {Design, proof and analysis of new efficient algorithms for incremental attribute evaluation},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {483-491},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=483},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ruzicka/88,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, P.},
TITLE = {On efficiency of interval routing algorithms},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {492-500},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=492},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ruzicka-Privara/88,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, P. and Pr{\'i}vara, I.},
TITLE = {An almost linear Robinson unification algorithm},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {501-511},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=501},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Savicky/88,
AUTHOR = {Savicky, P.},
TITLE = {Random Boolean formulas representing any Boolean function with asymptotically equal probability (extended abstract)},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {512-517},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=512},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Slobodova/88,
AUTHOR = {Slobodov{\'a}, A.},
TITLE = {On the power of communication in alternating machines},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {518-529},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=518},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Speckenmeyer/88a,
AUTHOR = {Speckenmeyer, E.},
TITLE = {Classes of CNF-formulas with backtracking trees of exponential or linear average order for exact-satisfiability},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {529-538},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=529},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Varricchio/88,
AUTHOR = {Varricchio, S.},
TITLE = {Bisections of free monoids and a new unavoidable regularity},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {539-541},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=539},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vogler/88a,
AUTHOR = {Vogler, W.},
TITLE = {Failures semantics and deadlocking of modular Petri nets (extended abstract)},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {542-551},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=542},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Weber/88,
AUTHOR = {Weber, A.},
TITLE = {A decomposition theorem for finite-valued transducers and an application to the equivalence problem},
BOOKTITLE = {Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, MFCS'88 (Carlsbad, Czechoslovakia, August 29 - September 2, 1988)},
SERIES = {LNCS},
VOLUME = {324},
PAGES = {552-562},
YEAR = {1988},
EDITOR = {Chytil, M.P. and Janiga, L. and Koubek, V.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=324&spage=552},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}