@incollection{Bentley-Ottmann/81a,
AUTHOR = {Bentley, Jon Louis and Ottmann, Thomas},
TITLE = {The complexity of manipulating hierarchically defined sets of rectangles},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {1-15},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ershov/81,
AUTHOR = {Ershov, Andrei P.},
TITLE = {The transformational machine: Theme and variations},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {16-32},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Freivalds/81a,
AUTHOR = {Freivalds, R{\=u}si{\c{n}}{\v{s}}},
TITLE = {Probabilistic two-way machines},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {33-45},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Joseph-Young/81a,
AUTHOR = {Joseph, Deborah and Young, Paul},
TITLE = {A survey of some recent results on computational complexity in weak theories of arithmetic},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {46-60},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Korte-Schrader/81,
AUTHOR = {Korte, B. and Schrader, R.},
TITLE = {A survey on oracle techniques},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {61-77},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Monien-Sudborough/81b,
AUTHOR = {Monien, Burkhard and Sudborough, Ivan Hal},
TITLE = {Time and space bounded complexity classes and bandwidth constrained problems},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {78-93},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nesetril/81,
AUTHOR = {Ne{\v{s}}et{\v{r}}il, Jaroslav},
TITLE = {Representations of graphs by means of products and their complexity},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {94-102},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nijholt/81,
AUTHOR = {Nijholt, Anton},
TITLE = {Parsing strategies: A concise survey},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {103-120},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{van_Leeuwen-Overmars/81,
AUTHOR = {van Leeuwen, Jan and Overmars, Mark H.},
TITLE = {The art of dynamizing},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {121-131},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valiant-Skyum/81a,
AUTHOR = {Valiant, L.G. and Skyum, S.},
TITLE = {Fast parallel computation of polynomials using few processors},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {132-139},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Valk/81,
AUTHOR = {Valk, R{\"u}diger},
TITLE = {Generalizations of Petri nets},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {140-155},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Alt-Mehlhorn-Munro/81,
AUTHOR = {Alt, Helmut and Mehlhorn, Kurt and Munro, J. Ian},
TITLE = {Partial match retrieval in implicit data structures},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {156-161},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Andreka-Nemeti-Sain/81,
AUTHOR = {Andr{\'e}ka, H. and N{\'e}meti, I. and Sain, I.},
TITLE = {A characterization of Floyd-provable programs},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {162-171},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Astesiano-Zucca/81,
AUTHOR = {Astesiano, Egidio and Zucca, Elena},
TITLE = {Semantics of CSP via translation into CCS},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {172-182},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Beauquier-Berstel/81a,
AUTHOR = {Beauquier, J. and Berstel, J.},
TITLE = {More about the ``geography'' of context-free languages},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {183-192},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bergstra-Broy-Tucker-Wirsing/81,
AUTHOR = {Bergstra, J.A. and Broy, M. and Tucker, J.V. and Wirsing, M.},
TITLE = {On the power of algebraic specifications},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {193-204},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bertoni-Brambilla-Mauri-Sabadini/81,
AUTHOR = {Bertoni, A. and Brambilla, M. and Mauri, G. and Sabadini, N.},
TITLE = {An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {205-215},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_86},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Book-Jantzen-Monien-ODunlaing-Wrathall/81,
AUTHOR = {Book, R. and Jantzen, M. and Monien, B. and {\'O}'D{\'u}nlaing, C. and Wrathall, C.},
TITLE = {On the complexity of word problems in certain Thue systems},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {216-223},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brandenburg/81b,
AUTHOR = {Brandenburg, Franz-Josef},
TITLE = {On the transformation of derivation graphs to derivation trees},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {224-233},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brandstadt/81,
AUTHOR = {Brandst{\"a}dt, Andreas},
TITLE = {Pushdown automata with restricted use of storage symbols},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {234-241},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cherkasova-Kotov/81,
AUTHOR = {Cherkasova, L.A. and Kotov, V.E.},
TITLE = {Structured nets},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {242-251},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_90},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Daley/81,
AUTHOR = {Daley, Robert P.},
TITLE = {Retraceability, repleteness and busy beaver sets},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {252-261},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Damm-Guessarian/81,
AUTHOR = {Damm, W. and Guessarian, I.},
TITLE = {Combining T and level-N},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {262-270},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ehrich/81,
AUTHOR = {Ehrich, H.D.},
TITLE = {On realization and implementation},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {271-280},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_93},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Grigorev/81,
AUTHOR = {Grigor'ev, D.Yu.},
TITLE = {Multiplicative complexity of a bilinear form over a commutative ring},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {281-286},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hajek/81,
AUTHOR = {H{\'a}jek, Petr},
TITLE = {Making dynamic logic first-order},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {287-295},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Horejs/81,
AUTHOR = {Ho{\v{r}}ej{\v{s}}, J.},
TITLE = {Partial interpretations of program schemata},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {296-303},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_96},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hromkovic/81,
AUTHOR = {Hromkovi{\v{c}}, Juraj},
TITLE = {Closure properties of the family of languages recognized by one-way two-head deterministic finite state automata},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {304-313},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Janiga/81,
AUTHOR = {Janiga, Ladislav},
TITLE = {Another hierarchy defined by multihead finite automata},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {314-320},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jaromczyk/81a,
AUTHOR = {Jaromczyk, Jerzy W.},
TITLE = {An extension of Rabin's complete proof concept},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {321-326},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_99},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jensen/81a,
AUTHOR = {Jensen, Kurt},
TITLE = {How to find invariants for coloured Petri nets},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {327-338},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_100},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Jung/81a,
AUTHOR = {Jung, H.},
TITLE = {Relationships between probabilistic and deterministic tape complexity},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {339-346},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_101},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kelemenova/81,
AUTHOR = {Kelemenov{\'a}, Alica},
TITLE = {Grammatical levels of the position restricted grammars},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {347-359},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_102},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kleijn-Rozenberg/81b,
AUTHOR = {Kleijn, H.C.M. and Rozenberg, G.},
TITLE = {A general framework for comparing sequential and parallel rewriting},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {360-368},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_103},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Knodel/81,
AUTHOR = {Kn{\"o}del, Walter},
TITLE = {A bin packing algorithm with complexity $O(n\log n)$ and performance 1 in the stochastic limit},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {369-378},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_104},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Korec/81,
AUTHOR = {Korec, Ivan},
TITLE = {Codings of nonnegative integers},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {379-388},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Koubek-Riha/81,
AUTHOR = {Koubek, V{\'a}clav and {\v{R}}{\'{i}}ha, Anton{\'{i}}n},
TITLE = {The maximum $k$-flow in a network},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {389-397},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kreowski-Rozenberg/81,
AUTHOR = {Kreowski, Hans-J{\"o}rg and Rozenberg, Grzegorz},
TITLE = {On the constructive description of graph languages accepted by finite automata},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {398-409},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kriegel-Vaishnavi/81,
AUTHOR = {Kriegel, H.P. and Vaishnavi, V.K.},
TITLE = {Weighted multidimensional B-trees used as nearly optimal dynamic dictionaries},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {410-417},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_108},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kucera/81,
AUTHOR = {Ku{\v{c}}era, Lud{\v{e}}k},
TITLE = {Maximum flow in planar networks},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {418-422},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lieberherr/81b,
AUTHOR = {Lieberherr, Karl},
TITLE = {Probabilistic combinatorial optimization},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {423-432},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_110},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Meyer_auf_der_Heide/81a,
AUTHOR = {Meyer auf der Heide, Friedhelm},
TITLE = {Time-processor trade-offs for universal parallel computers},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {433-441},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_111},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pittl/81a,
AUTHOR = {Pittl, Jan},
TITLE = {Negative results on the size of deterministic right parsers},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {442-451},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_112},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Pokorny/81,
AUTHOR = {Pokorn{\'y}, Jaroslav},
TITLE = {Key-equivalence of functional dependency statements systems},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {452-462},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Reiterman-Trnkova/81,
AUTHOR = {Reiterman, Jan and Trnkov{\'a}, V{\v{e}}ra},
TITLE = {On representation of dynamic algebras with reversion},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {463-472},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_114},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rovan/81,
AUTHOR = {Rovan, Branislav},
TITLE = {A framework for studying grammars},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {473-482},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sazonov/81,
AUTHOR = {Sazonov, V.Yu.},
TITLE = {On existence of complete predicate calculus in metamathematics without exponentiation},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {483-490},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Soisalon-Soininen-Wood/81,
AUTHOR = {Soisalon-Soininen, Eljas and Wood, Derick},
TITLE = {On structural similarity of context-free grammars},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {491-498},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_117},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sokolowski/81,
AUTHOR = {Soko{\l}owski, Stefan},
TITLE = {Axioms for the term-wise correctness of programs},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {499-507},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Staiger/81,
AUTHOR = {Staiger, Ludwig},
TITLE = {Complexity and entropy},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {508-514},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_119},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Steiner/81,
AUTHOR = {Steiner, Juraj},
TITLE = {Axiomatic semantics of indirect addressing},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {515-523},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_120},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tanaka-Kambayashi/81,
AUTHOR = {Tanaka, Katsumi and Kambayashi, Yahiko},
TITLE = {Testing of join dependency preserving by a modified chase method},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {524-533},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wedde/81,
AUTHOR = {Wedde, Horst},
TITLE = {A starvation-free solution of the dining philosophers' problem by use of interaction systems},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {534-543},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_122},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Weihrauch-Schafer/81,
AUTHOR = {Weihrauch, Klaus and Sch{\"a}fer, Gisela},
TITLE = {Admissible representations of effective cpo's},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {544-553},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_123},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Wiedermann/81,
AUTHOR = {Wiedermann, Juraj},
TITLE = {Preserving total order in constant expected time},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {554-562},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_124},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kanda/81,
AUTHOR = {Kanda, Akira},
TITLE = {Constructive category theory (No. 1)},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {563-577},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_125},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Budach/81,
AUTHOR = {Budach, Lothar},
TITLE = {Two pebbles don't suffice},
BOOKTITLE = {Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS'1981 ({\v{S}}trbsk{\'e} Pleso, Czechoslovakia, August 31 - September 4, 1981)},
SERIES = {LNCS},
VOLUME = {118},
PAGES = {578-589},
YEAR = {1981},
EDITOR = {Gruska, Jozef and Chytil, Michal},
URL = {http://dx.doi.org/10.1007/3-540-10856-4_126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}