@incollection{Ambos-Spies/85b,
AUTHOR = {Ambos-Spies, Klaus},
TITLE = {On the relative complexity of subproblems of intractable problems},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {1-12},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Babai/85c,
AUTHOR = {Babai, L{\'a}szl{\'o}},
TITLE = {On Lov{\'a}sz' lattice reduction and the nearest lattice point problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {13-20},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Becker-Osthof/85,
AUTHOR = {Becker, B. and Osthof, H.G.},
TITLE = {Layouts with wires of balanced length},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {21-31},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Blum/85b,
AUTHOR = {Blum, Norbert},
TITLE = {On the single-operation worst-case time complexity of the disjoint set union problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {32-38},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Boasson-Petit/85,
AUTHOR = {Boasson, L. and Petit, A.},
TITLE = {Deterministic languages and non-generators},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {39-46},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Bodlaender-van_Leeuwen/85,
AUTHOR = {Bodlaender, H.L. and van Leeuwen, J.},
TITLE = {Simulation of large networks on smaller networks},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {47-58},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Boudol-Roucairol-de_Simone/85,
AUTHOR = {Boudol, G{\'e}rard and Roucairol, G{\'e}rard and de Simone, Robert},
TITLE = {Petri nets and algebraic calculi of processes},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {59-70},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Brauer-Lange/85,
AUTHOR = {Brauer, W. and Lange, K.-J.},
TITLE = {Non-deterministic two-tape automata are more powerful than deterministic ones},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {71-79},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{de_Felice/85,
AUTHOR = {de Felice, Clelia},
TITLE = {Construction of a family of factorizing codes},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {80-86},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Diekert/85,
AUTHOR = {Diekert, Volker},
TITLE = {On Hotz groups and homomorphic images of sentential form languages},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {87-97},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Dybjer/85,
AUTHOR = {Dybjer, Peter},
TITLE = {Using domain algebras to prove the correctness of a compiler},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {98-108},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Faigle-Turan/85,
AUTHOR = {Faigle, Ulrich and Tur{\'a}n, Gy{\"o}rgy},
TITLE = {Sorting and recognition problems for ordered sets},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {109-118},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{File/85,
AUTHOR = {Fil{\'e}, Gilberto},
TITLE = {Tree automata and logic programs},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {119-130},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=119},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Fischer-van_Gucht/85,
AUTHOR = {Fischer, P.C. and van Gucht, Dirk},
TITLE = {Structure of relations satisfying certain families of dependencies},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {131-142},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=131},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Frederickson/85b,
AUTHOR = {Frederickson, Greg N.},
TITLE = {A single source shortest path algorithm for a planar distributed network},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {143-150},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=143},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Gao/85,
AUTHOR = {Gao, Shaodi},
TITLE = {An algorithm for two-layer channel routing},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {151-160},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Guting-Ottmann/85,
AUTHOR = {G{\"u}ting, Ralf Hartmut and Ottmann, Thomas},
TITLE = {New algorithms for special cases of the hidden line elimination problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {161-172},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Helfrich/85a,
AUTHOR = {Helfrich, Bettina},
TITLE = {An algorithm to construct Minkowski-reduced lattice-bases},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {173-179},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=173},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Irastorza/85,
AUTHOR = {Irastorza, Christine},
TITLE = {Base non finie de vari{\'e}t{\'e}s},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {180-186},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Karlsson-Munro/85,
AUTHOR = {Karlsson, Rolf G. and Munro, J. Ian},
TITLE = {Proximity on a grid},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {187-196},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kucera/85,
AUTHOR = {Ku{\v{c}}era, Lud{\v{e}}k},
TITLE = {An $O(N^{1.5+\varepsilon})$ expected time algorithm for canonization and isomorphism testing of trivalent graphs},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {197-207},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=197},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Leung-Monien/85,
AUTHOR = {Leung, Joseph Y.-T. and Monien, B.},
TITLE = {On the complexity of deadlock recovery},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {208-218},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=208},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{McColl/85,
AUTHOR = {McColl, W.F.},
TITLE = {On the planar monotone computation of threshold functions},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {219-230},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=219},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{McColl/85a,
AUTHOR = {McColl, W.F.},
TITLE = {Planar circuits have short specifications},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {231-242},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{ORourke-Suri-Booth/85,
AUTHOR = {O'Rourke, Joseph and Suri, Subhash and Booth, Heather},
TITLE = {Shortest paths on polyhedral surfaces},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {243-254},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=243},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Porat-Francez/85,
AUTHOR = {Porat, Sera and Francez, Nissim},
TITLE = {Fairness in context-free grammars under canonical derivations},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {255-266},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=255},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Richier/85,
AUTHOR = {Richier, Jean-Luc},
TITLE = {Distributed termination in CSP: Symmetric solutions with minimal storage},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {267-278},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Rohnert/85,
AUTHOR = {Rohnert, Hans},
TITLE = {A dynamization of the all pairs least cost path problem},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {279-286},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=279},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Rosier-Yen/85b,
AUTHOR = {Rosier, Louis E. and Yen, Hsu-Chun},
TITLE = {Boundedness, empty channel detection and synchronization for communicating finite state machines},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {287-298},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Royer/85,
AUTHOR = {Royer, V{\'e}ronique},
TITLE = {Deriving stack semantics congruent to standard denotational semantics},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {299-309},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Sack-Toussaint/85,
AUTHOR = {Sack, J{\"o}rg R. and Toussaint, Godfried T.},
TITLE = {Translating polygons in the plane},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {310-321},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=310},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Santoro-Sidney-Sidney-Urrutia/85,
AUTHOR = {Santoro, N. and Sidney, J.B. and Sidney, S.J. and Urrutia, J.B.},
TITLE = {Geometric containment is not reducible to Pareto dominance},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {322-327},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=322},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Spirakis/85,
AUTHOR = {Spirakis, Paul G.},
TITLE = {The volume of the union of many spheres and point inclusion problems},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {328-338},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=328},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Torenvliet-van_Emde_Boas/85,
AUTHOR = {Torenvliet, Leen and van Emde Boas, Peter},
TITLE = {Combined simplicity and immunity in relativized $NP$},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {339-350},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Weil/85,
AUTHOR = {Weil, Pascal},
TITLE = {Groups, codes and unambiguous automata},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {351-362},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=351},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Willard/85b,
AUTHOR = {Willard, Dan E.},
TITLE = {Reduced memory space for multi-dimensional search trees},
BOOKTITLE = {Proceedings of the 2nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'85 (Saarbr{\"{u}}cken, Germany, January 3-5, 1985)},
SERIES = {LNCS},
VOLUME = {182},
PAGES = {363-374},
YEAR = {1985},
EDITOR = {Mehlhorn, Kurt},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=182&spage=363},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}