@incollection{Meyer_auf_der_Heide/89,
AUTHOR = {Meyer auf der Heide, Friedhelm},
TITLE = {On genuinely time bounded computations},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {1-16},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mosses/89,
AUTHOR = {Mosses, Peter D.},
TITLE = {Unified algebras and action semantics},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {17-35},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=17},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berstel/89,
AUTHOR = {Berstel, J.},
TITLE = {Properties of infinite words: Recent results},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {36-46},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=36},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lucio-Carrasco-Gavilanes-Franco/89,
AUTHOR = {Lucio-Carrasco, Francisca and Gavilanes-Franco, Antonio},
TITLE = {A first order logic for partial functions},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {47-58},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=47},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hennicker/89,
AUTHOR = {Hennicker, Rolf},
TITLE = {Observational implementations},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {59-71},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=59},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alevizos-Boissonnat-Preparata/89,
AUTHOR = {Alevizos, Panagiotis and Boissonnat, Jean-Daniel and Preparata, Franco P.},
TITLE = {On the boundary of a union of rays},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {72-83},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=72},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Preparata-Tamassia/89a,
AUTHOR = {Preparata, Franco P. and Tamassia, Roberto},
TITLE = {Dynamic planar point location with optimal query time},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {84-95},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=84},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Djidjev-Lingas-Sack/89,
AUTHOR = {Djidjev, Hristo N. and Lingas, Andrzej and Sack, J{\"o}rg-R{\"u}diger},
TITLE = {An $O(n \log n)$ algorithm for computing a link center in a simple polygon},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {96-107},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=96},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gutjahr-Welzl-Woginger/89,
AUTHOR = {Gutjahr, Wolfgang and Welzl, Emo and W{\"o}ginger, Gerhart},
TITLE = {Polynomial graph-colorings},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {108-119},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=108},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer_auf_der_Heide-Wanka/89,
AUTHOR = {Meyer auf der Heide, Friedhelm and Wanka, Rolf},
TITLE = {Time-optimal simulations of networks by universal parallel computers},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {120-131},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=120},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hinz/89,
AUTHOR = {Hinz, Friedhelm},
TITLE = {Classes of picture languages that cannot be distinguished in the chain code concept and deletion of redundant retreats},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {132-143},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=132},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Frougny/89,
AUTHOR = {Frougny, Christiane},
TITLE = {Linear numeration systems, $\Theta$-developments and finite automata},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {144-155},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=144},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shallit/89,
AUTHOR = {Shallit, Jeffrey},
TITLE = {A generalization of automatic sequences},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {156-167},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=156},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/89a,
AUTHOR = {Diekert, Volker},
TITLE = {Word problems over traces which are solvable in linear time},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {168-180},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=168},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer_auf_der_Heide/89a,
AUTHOR = {Meyer auf der Heide, Friedhelm},
TITLE = {Computing minimum spanning forests on 1- and 2- dimensional processor arrays},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {181-192},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=181},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwarzkopf/89,
AUTHOR = {Schwarzkopf, Otfried},
TITLE = {Parallel computation of discrete Voronoi diagrams},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {193-204},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=193},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fussell-Thurimella/89,
AUTHOR = {Fussell, Donald and Thurimella, Ramakrishna},
TITLE = {Successive approximation in parallel graph algorithms},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {205-217},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=205},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Buntrock-Hone/89,
AUTHOR = {Buntrock, Gerhard and H{\"o}ne, Albrecht},
TITLE = {Reversals and Alternation},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {218-228},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=218},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Hemachandra/89a,
AUTHOR = {Cai, Jin-yi and Hemachandra, Lane A.},
TITLE = {On the power of parity polynomial time},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {229-239},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=229},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ganesan-Homer/89,
AUTHOR = {Ganesan, K. and Homer, Steven},
TITLE = {Complete problems and strong polynomial reducibilities},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {240-250},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=240},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Szepietowski/89,
AUTHOR = {Szepietowski, Andrzej},
TITLE = {If deterministic and nondeterministic space complexities are equal for $\log\log n$ then they are also equal for $\log n$},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {251-255},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=251},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berman-Schnitger/89,
AUTHOR = {Berman, Piotr and Schnitger, Georg},
TITLE = {On the complexity of approximating the independent set problem},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {256-268},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=256},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lavault/89,
AUTHOR = {Lavault, Christian},
TITLE = {Average number of messages for distributed leader finding in rings of processors},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {269-281},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=269},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Overmars-Santoro/89,
AUTHOR = {Overmars, Mark H. and Santoro, Nicola},
TITLE = {Time vs. bits},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {282-293},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=282},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beame-Bodlander/89,
AUTHOR = {Beame, Paul W. and Bodl{\"a}nder, Hans L.},
TITLE = {Distributed computing on transitive networks: The torus},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {294-303},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=294},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Santoro-Widmayer/89,
AUTHOR = {Santoro, Nicola and Widmayer, Peter},
TITLE = {Time is not a healer},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {304-313},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=304},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Reischuk-Schmeltz/89,
AUTHOR = {Reischuk, R{\"u}diger and Schmeltz, Bernd},
TITLE = {Area efficient methods to increase the reliability of combinatorial circuits},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {314-326},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=314},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Doenhardt/89,
AUTHOR = {Doenhardt, J{\"u}rgen},
TITLE = {Fault masking probabilities with single and multiple signature analysis},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {327-338},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=327},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hermann/89,
AUTHOR = {Hermann, Miki},
TITLE = {Chain properties of rule closures},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {339-347},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=339},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Narendran-Stillman/89,
AUTHOR = {Narendran, Paliath and Stillman, Jonathan},
TITLE = {It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {348-359},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=348},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nickl/89,
AUTHOR = {Nickl, Friederike},
TITLE = {Algebraic specifications for domain theory},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {360-374},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=360},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Batarekh-Subrahmanian/89,
AUTHOR = {Batarekh, Aida and Subrahmanian, V.S.},
TITLE = {The query topology in logic programming},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {375-387},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=375},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaudry-McKenzie-Therien/89,
AUTHOR = {Beaudry, M. and McKenzie, P. and Th{\'e}rien, D.},
TITLE = {Testing membership: Beyond permutation groups},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {388-399},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=388},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mayr/89,
AUTHOR = {Mayr, Ernst W.},
TITLE = {Membership in polynomial ideals over $Q$ is exponential space complete},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {400-406},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=400},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Verma-Ramakrishnan/89,
AUTHOR = {Verma, Rakesh M. and Ramakrishnan, I.V.},
TITLE = {Some complexity theoretic aspects of AC rewriting},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {407-420},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=407},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jonsson-Parrow/89,
AUTHOR = {Jonsson, Bengt and Parrow, Joachim},
TITLE = {Deciding bisimulation equivalences for a class of non-finite-state programs},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {421-433},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=421},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Charron-Bost/89,
AUTHOR = {Charron-Bost, Bernadette},
TITLE = {Measure of parallelism of distributed computations},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {434-445},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=434},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jancar/89,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Decidability of weak fairness in Petri nets},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {446-457},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=446},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pin-Straubing-Therien/89,
AUTHOR = {Pin, J.E. and Straubing, H. and Th{\'e}rien, D.},
TITLE = {New results on the generalized star-height problem},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {458-467},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=458},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Culik-Karhumaki/89a,
AUTHOR = {Culik II, Karel and Karhum{\"a}ki, Juhani},
TITLE = {On the equivalence problem for deterministic multitape automata and transducers},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {468-479},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=468},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Seidl/89a,
AUTHOR = {Seidl, Helmut},
TITLE = {Deciding equivalence of finite tree automata},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {480-492},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=480},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Kreveld-Overmars/89,
AUTHOR = {van Kreveld, Marc J. and Overmars, Mark H.},
TITLE = {Concatenable segment trees},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {493-504},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=493},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwill/89,
AUTHOR = {Schwill, Andreas},
TITLE = {Shortest edge-disjoint paths in graphs},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {505-516},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=505},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kalyanasundaram-Schnitger/89,
AUTHOR = {Kalyanasundaram, Bala and Schnitger, Georg},
TITLE = {Rounds versus time for the two person pebble game},
BOOKTITLE = {Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89 (Paderborn, Germany, February 16-18, 1989)},
SERIES = {LNCS},
VOLUME = {349},
PAGES = {517-529},
YEAR = {1989},
EDITOR = {Monien, B. and Cori, R.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=349&spage=517},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}