@incollection{Allender-Beigel-Hertrampf-Homer/90,
AUTHOR = {Allender, E. and Beigel, R. and Hertrampf, U. and Homer, S.},
TITLE = {A note on the almost-everywhere hierarchy for nondeterministic time},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {1-11},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=1},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allouche-Shallit/90,
AUTHOR = {Allouche, J.-P. and Shallit, J.},
TITLE = {The ring of $k$-regular sequences},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {12-23},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=12},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies-Homer-Soare/90,
AUTHOR = {Ambos-Spies, K. and Homer, S. and Soare, R.I.},
TITLE = {Minimal pairs and complete problems},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {24-36},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=24},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaver-Feigenbaum/90,
AUTHOR = {Beaver, D. and Feigenbaum, J.},
TITLE = {Hiding instances in multioracle queries},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {37-48},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=37},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beigel-Gill-Hertrampf/90,
AUTHOR = {Beigel, R. and Gill, J. and Hertrampf, U.},
TITLE = {Counting classes: Thresholds, parity, mods, and fewness},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {49-57},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=49},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Cai-Condon-Lipton/90,
AUTHOR = {Cai, J. and Condon, A. and Lipton, R.J.},
TITLE = {Playing games of incomplete information},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {58-69},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=58},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chytil-Monien/90,
AUTHOR = {Chytil, M.P. and Monien, B.},
TITLE = {Caterpillars and context-free languages},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {70-81},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=70},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Clerbout-Roos/90,
AUTHOR = {Clerbout, M. and Roos, Y.},
TITLE = {Semi-commutations and algebraic languages},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {82-94},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=82},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Corradini-Montanari/90,
AUTHOR = {Corradini, A. and Montanari, U.},
TITLE = {Towards a process semantics in the logic programming style},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {95-108},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=95},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Crochemore-Rytter/90a,
AUTHOR = {Crochemore, M. and Rytter, W.},
TITLE = {Parallel computations on strings and arrays},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {109-125},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=109},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Das-Joseph/90,
AUTHOR = {Das, G. and Joseph, D.},
TITLE = {Minimum vertex hulls for polyhedral domains},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {126-137},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=126},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert/90,
AUTHOR = {Diekert, V.},
TITLE = {Combinatorial rewriting on traces},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {138-151},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=138},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Joseph-Sitharam/90,
AUTHOR = {Joseph, D. and Sitharam, M.},
TITLE = {Kolmogorov complexity, restricted nondeterminism and generalized spectra},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {152-164},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=152},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kreowski-Qian/90,
AUTHOR = {Kreowski, H.-J. and Qian, Z.},
TITLE = {Relation-sorted algebraic specifications with built-in coercers: Basic notions and results},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {165-175},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=165},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kutylowski/90,
AUTHOR = {Kuty{\l}owski, M.},
TITLE = {Computational power of one-way multihead finite automata},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {176-187},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=176},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lai-Wood/90,
AUTHOR = {Lai, T.W. and Wood, D.},
TITLE = {Updating almost complete trees or One level makes all the difference},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {188-194},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=188},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lambert/90,
AUTHOR = {Lambert, J.-L.},
TITLE = {Sorting the sums $(x_i + y_j)$ in $O(n^2)$ comparisons},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {195-206},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=195},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lipton/90,
AUTHOR = {Lipton, R.J.},
TITLE = {Efficient checking of computations},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {207-215},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=207},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Longpre-Selman/90,
AUTHOR = {Longpr{\'e}, L. and Selman, A.L.},
TITLE = {Hard promise problems and nonuniform complexity},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {216-226},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=216},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mehlhorn-Meiser-ODunlaing/90,
AUTHOR = {Mehlhorn, K. and Meiser, St. and O'D{\'u}nlaing, C.},
TITLE = {On the construction of abstract Voronoi diagrams},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {227-239},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=227},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwarzkopf-Fuchs-Rote-Welzl/90,
AUTHOR = {Schwarzkopf, O. and Fuchs, U. and Rote, G. and Welzl, E.},
TITLE = {Approximation of convex figures by pairs of rectangles},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {240-249},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=240},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schwill/90,
AUTHOR = {Schwill, A.},
TITLE = {Nonblocking graphs: Greedy algorithms to compute disjoint paths},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {250-262},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=250},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Thomas/90a,
AUTHOR = {Thomas, W.},
TITLE = {Infinite trees and automaton definable relations over $\omega$-words},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {263-277},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=263},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Viennot/90,
AUTHOR = {Viennot, G.},
TITLE = {Enumerative combinatorics and computer science},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {278-284},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=278},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Vogler/90,
AUTHOR = {Vogler, W.},
TITLE = {Failures semantics based on interval semiwords is a congruence for refinement},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {285-297},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=285},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Yannakakis/90,
AUTHOR = {Yannakakis, M.},
TITLE = {The analysis of local search problems and their heuristics},
BOOKTITLE = {Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS'90 (Rouen, France, February 22-24, 1990)},
SERIES = {LNCS},
VOLUME = {415},
PAGES = {298-311},
YEAR = {1990},
EDITOR = {Choffrut, C. and Lengauer, T.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=415&spage=298},
PUBLISHER = {Springer-Verlag},
ORGANIZATION = {GI, afcet},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}