@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},
}
@incollection{Schnorr/81a,
AUTHOR = {Schnorr, C.P.},
TITLE = {Refined analysis and improvements on some factoring algorithms},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {1-15},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Heintz-Sieveking/81,
AUTHOR = {Heintz, J. and Sieveking, M.},
TITLE = {Absolute primality of polynomials is decidable in random polynomial time in the number of the variables},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {16-28},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Preparata-Vuillemin/81,
AUTHOR = {Preparata, F.P. and Vuillemin, J.E.},
TITLE = {Area-time optimal VLSI networks for computing integer multiplication and Discrete Fourier Transform},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {29-40},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Hong-Mehlhorn-Rosenberg/81,
AUTHOR = {Hong, Jia-Wei and Mehlhorn, Kurt and Rosenberg, Arnold L.},
TITLE = {Cost tradeoffs in graph embeddings, with applications},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {41-55},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Reif/81,
AUTHOR = {Reif, John H.},
TITLE = {Minimum $s-t$ cut of a planar undirected network in $O(n \log^2 (n))$ time},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {56-67},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Welzl/81,
AUTHOR = {Welzl, E.},
TITLE = {On the density of color-families},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {68-72},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Beeri-Vardi/81,
AUTHOR = {Beeri, C. and Vardi, M.Y.},
TITLE = {The implication problem for data dependencies},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {73-85},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Makowsky/81,
AUTHOR = {Makowsky, J.A.},
TITLE = {Characterizing data base dependencies},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {86-97},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Sharir/81,
AUTHOR = {Sharir, Micha},
TITLE = {Data flow analysis of applicative programs},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {98-113},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Jones/81,
AUTHOR = {Jones, Neil D.},
TITLE = {Flow analysis of lambda expressions},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {114-128},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Loeckx/81,
AUTHOR = {Loeckx, Jacques},
TITLE = {Algorithmic specifications of abstract data types},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {129-147},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Subrahmanyam/81,
AUTHOR = {Subrahmanyam, P.A.},
TITLE = {Nondeterminism in abstract data types},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {148-164},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Ullman/81,
AUTHOR = {Ullman, Jeffrey D.},
TITLE = {A view of directions in relational database theory},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {165-176},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Reutenauer/81,
AUTHOR = {Reutenauer, Christoph},
TITLE = {A new characterization of the regular languages},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {177-183},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Pin/81,
AUTHOR = {Pin, Jean Eric},
TITLE = {Langages reconnaissables et codage prefixe pur},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {184-192},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Engelfriet-File/81b,
AUTHOR = {Engelfriet, Joost and Fil{\`e}, Gilberto},
TITLE = {Passes, sweeps and visits},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {193-207},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Sippu-Soisalon-Soininen/81,
AUTHOR = {Sippu, Seppo and Soisalon-Soininen, Eljas},
TITLE = {On LALR$k$ testing},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {208-217},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Ukkonen/81,
AUTHOR = {Ukkonen, Esko},
TITLE = {On size bounds for deterministic parsers},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {218-228},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Itzhaik-Yehudai/81,
AUTHOR = {Itzhaik, Yair and Yehudai, Amiram},
TITLE = {A decision procedure for one equivalence of two dpdas --- One of which is linear},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {229-237},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Meyer-Streett-Mirkowska/81,
AUTHOR = {Meyer, Albert R. and Streett, Robert S. and Mirkowska, Grazyna},
TITLE = {The deducibility problem in propositional dynamic logic},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {238-248},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Ben-Ari-Halpern-Pnueli/81,
AUTHOR = {Ben-Ari, Mordechai and Halpern, Joseph Y. and Pnueli, Amir},
TITLE = {Finite models for deterministic propositional dynamic logic},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {249-263},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Lehmann-Pnueli-Stavi/81,
AUTHOR = {Lehmann, D. and Pnueli, A. and Stavi, J.},
TITLE = {Impartiality, justice and fairness: The ethics of concurrent termination},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {264-277},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Fraenkel-Lichtenstein/81a,
AUTHOR = {Fraenkel, Aviezri S. and Lichtenstein, David},
TITLE = {Computing a perfect strategy for $n \times n$ chess requires time exponential in $n$},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {278-293},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Ibarra-Leininger-Moran/81,
AUTHOR = {Ibarra, Oscar H. and Leininger, Brian S. and Moran, Shlomo},
TITLE = {On the complexity of simple arithmetic expressions},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {294-304},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Snir/81a,
AUTHOR = {Snir, Marc},
TITLE = {Proving lower bounds for linear decision trees},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {305-315},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Blattner-Latteux/81,
AUTHOR = {Blattner, Mera and Latteux, Michel},
TITLE = {Parikh-bounded languages},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {316-323},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Karhumaki/81a,
AUTHOR = {Karhum{\"a}ki, Juhani},
TITLE = {Generalized Parikh mappings and homomorphisms},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {324-332},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Istrail/81,
AUTHOR = {Istrail, Sorin},
TITLE = {Chomsky-Sch{\"u}tzenberger representations for families of languages and grammatical types},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {333-347},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Bergstra-Tucker/81,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {Algebraically specified programming systems and Hoare's logic},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {348-362},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Moricani-Schwartz/81,
AUTHOR = {Moricani, Marc and Schwartz, Richard L.},
TITLE = {Automatic construction of verification condition generators from Hoare logics},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {363-377},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Sethi/81a,
AUTHOR = {Sethi, Ravi},
TITLE = {Circular expressions: Elimination of static environments},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {378-392},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Courcelle/81a,
AUTHOR = {Courcelle, B.},
TITLE = {An axiomatic approach to the Korenjak-Hopcroft algorithms},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {393-407},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Ehrenfeucht-Rozenberg/81b,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {On the (generalized) post correspondence problem with lists of length 2},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {408-416},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Itai-Konheim-Rodeh/81,
AUTHOR = {Itai, Alon and Konheim, Alan G. and Rodeh, Michael},
TITLE = {A sparse table implementation of priority queues},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {417-431},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Pettorossi/81,
AUTHOR = {Pettorossi, Alberto},
TITLE = {Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {432-447},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Dershowitz/81,
AUTHOR = {Dershowitz, Nachum},
TITLE = {Termination of linear rewriting systems},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {448-458},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Pnueli-Zarhi/81,
AUTHOR = {Pnueli, A. and Zarhi, R.},
TITLE = {Realizing an equational specification},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {459-478},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Apt-Plotkin/81a,
AUTHOR = {Apt, K.R. and Plotkin, G.D.},
TITLE = {A Cook's tour of countable nondeterminsm},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {479-494},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Gurari-Ibarra/81d,
AUTHOR = {Gurari, Eitan M. and Ibarra, Oscar H.},
TITLE = {The complexity of decision problems for finite-turn multicounter machines},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {495-505},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{King/81a,
AUTHOR = {King, K.N.},
TITLE = {Alternating multihead finite automata},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {506-520},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Pearl/81a,
AUTHOR = {Pearl, Judea},
TITLE = {The solution for the branching factor of the alpha-beta pruning algorithm},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {521-529},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Lieberherr/81a,
AUTHOR = {Lieberherr, Karl},
TITLE = {Uniform complexity and digital signatures},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {530-543},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Shamir/81,
AUTHOR = {Shamir, Adi},
TITLE = {On the generation of cryptographically strong pseudo-random sequences},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {544-550},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {inproceedings},
}
@incollection{Makowsky/81a,
AUTHOR = {Makowsky, J.A.},
TITLE = {Erratum to ''Measuring the expressive power of dynamic logics: An application of abstract model theory''},
BOOKTITLE = {Proceedings of the 8th International Colloquium on Automata, Languages and Programming, ICALP'81 (Acre (Akko), Israel, July 13-17, 1981)},
SERIES = {LNCS},
VOLUME = {115},
PAGES = {551-551},
YEAR = {1981},
EDITOR = {Even, S. and Kariv, O.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
NOTE = {Originally in LNCS 85, 1980, 409-421},
}
@incollection{Huddleston-Mehlhorn/81,
AUTHOR = {Huddleston, S. and Mehlhorn, K.},
TITLE = {Robust balancing in B-trees},
SERIES = {LNCS},
VOLUME = {104},
PAGES = {234-244},
YEAR = {1981},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=104&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Maurer/81,
AUTHOR = {Maurer, H.},
TITLE = {The post-office problem and related questions},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {1-19},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nishio/81,
AUTHOR = {Nishio, Hidenosuke},
TITLE = {Series of graphs generated by rational machines},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {20-31},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Witt/81a,
AUTHOR = {Witt, Kurt-Ulrich},
TITLE = {On linearizing graphs},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {32-41},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Schneider/81,
AUTHOR = {Schneider, Hans J{\"u}rgen},
TITLE = {Set-theoretic concepts in programming languages and their implementation},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {42-54},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Nagl/81,
AUTHOR = {Nagl, M.},
TITLE = {Graph rewriting and automatic, machine-independent program optimization},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {55-69},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ludwigs/81,
AUTHOR = {Ludwigs, Helmut J.},
TITLE = {Properties of ordered graph grammars},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {70-79},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bentley-Ottmann/81,
AUTHOR = {Bentley, Jon Louis and Ottmann, Thomas},
TITLE = {The power of a one-dimensional vector of processors},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {80-89},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mehlhorn/81,
AUTHOR = {Mehlhorn, Kurt},
TITLE = {A new data structure for representing sorted lists},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {90-112},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Tinhofer/81,
AUTHOR = {Tinhofer, Gottfried},
TITLE = {On the use of some almost sure graph properties},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {113-126},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Noltemeier/81,
AUTHOR = {Noltemeier, Hartmut},
TITLE = {On a generalization of heaps},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {127-136},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Schnitzler/81,
AUTHOR = {Schnitzler, M.},
TITLE = {Graph grammars and the complexity gap in the isomorphism problem for acyclic digraphs},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {137-149},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Rosenberg/81b,
AUTHOR = {Rosenberg, Arnold L.},
TITLE = {Issues in the study of graph embeddings},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {150-176},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Batini-DAtri/81,
AUTHOR = {Batini, Carlo and D'Atri, Alessandro},
TITLE = {Schema hypergraphs: A formalism to investigate logical data base design},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {177-194},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kandzia-Mangelmann/81,
AUTHOR = {Kandzia, Peter and Mangelmann, Margret},
TITLE = {The use of transitively irreducible kernels of full families of functional dependencies in logical data base design},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {195-211},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ausiello-DAtri-Sacca/81,
AUTHOR = {Ausiello, G. and D'Atri, A. and Sacc{\`a}, D.},
TITLE = {Graph algorithms for the synthesis and manipulation of data base schemes},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {212-233},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ottmann-Six-Wood/81,
AUTHOR = {Ottmann, Th. and Six, H. and Wood, D.},
TITLE = {The analysis of search trees: A survey},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {234-249},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Six/81,
AUTHOR = {Six, H.-W},
TITLE = {A framework for data structures},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {250-267},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Schmidt/81c,
AUTHOR = {Schmidt, Gunther},
TITLE = {Investigating programs in terms of partial graphs},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {268-269},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Even-Yacobi/81a,
AUTHOR = {Even, Shimon and Yacobi, Yacov},
TITLE = {An observation concerning the complexity of problems with few solutions and its application to cryptography},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {270-278},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Monien-Sudborough/81a,
AUTHOR = {Monien, Burkhard and Sudborough, Ivan Hal},
TITLE = {Bounding the bandwidth of $NP$-complete problems},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {279-292},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Sudborough/81,
AUTHOR = {Sudborough, I.H.},
TITLE = {The complexity of path problems in graphs and path systems of bounded bandwidth},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {293-305},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Kreowski/81,
AUTHOR = {Kreowski, Hans-J{\"o}rg},
TITLE = {A comparison between Petri-nets and graph grammars},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {306-317},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Reisig/81,
AUTHOR = {Reisig, Wolfgang},
TITLE = {A graph grammar representation of nonsequential processes},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {318-325},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ebert-Perl/81,
AUTHOR = {Ebert, J{\"u}rgen and Perl, J{\"u}rgen},
TITLE = {Reachability homomorphisms on nets},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {326-334},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Mahr/81,
AUTHOR = {Mahr, Bernd},
TITLE = {A bird's eye view to path problems},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {335-353},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brucker/81,
AUTHOR = {Brucker, Peter},
TITLE = {The Chinese postman problem for mixed graphs},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {354-366},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Vornberger/81,
AUTHOR = {Vornberger, Oliver},
TITLE = {Alternating cycle covers and paths},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {367-378},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Lauchli/81,
AUTHOR = {L{\"a}uchli, Peter},
TITLE = {Generating all planar 0-,1-,2-,3-connected graphs},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {379-382},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Hamacher/81,
AUTHOR = {Hamacher, Horst},
TITLE = {Optimal $(s,t)$-cuts},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {383-387},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Derigs/81,
AUTHOR = {Derigs, Ulrich},
TITLE = {$F$-factors, perfect matchings and related concepts},
BOOKTITLE = {Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, WG'80 (Bad Honnef, Germany, June 15-18, 1980)},
SERIES = {LNCS},
VOLUME = {100},
PAGES = {388-403},
YEAR = {1981},
EDITOR = {Noltemeier, Hartmut},
URL = {http://dx.doi.org/10.1007/3-540-10291-4_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}