@incollection{Edelsbrunner/84,
AUTHOR = {Edelsbrunner, H.},
TITLE = {Key-problems and key-methods in computational geometry},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {1-13},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Berstel/84,
AUTHOR = {Berstel, J.},
TITLE = {Some recent results on squarefree words},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {14-25},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Olderog-Apt/84,
AUTHOR = {Olderog, E.R. and Apt, K.R.},
TITLE = {Transformations realizing fairness assumptions for parallel programs},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {26-42},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chazelle-Drysdale-Lee/84,
AUTHOR = {Chazelle, B. and Drysdale, R.L. and Lee, D.T.},
TITLE = {Computing the largest empty rectangle},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {43-54},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hochbaum-Maass/84,
AUTHOR = {Hochbaum, D.S. and Maass, W.},
TITLE = {Approximation schemes for covering and packing problems in robotics and VLSI},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {55-62},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Levcopoulos-Lingas/84,
AUTHOR = {Levcopoulos, C. and Lingas, A.},
TITLE = {Covering polygons with minimum number of rectangles},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {63-72},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Josko/84,
AUTHOR = {Josko, B.},
TITLE = {On expressive interpretation of a Hoare-logic for Clarke's language L4},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {73-84},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Drosten/84,
AUTHOR = {Drosten, K.},
TITLE = {Towards executable specifications using conditional axioms},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {85-96},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Perdrix/84,
AUTHOR = {Perdrix, H.},
TITLE = {Propri{\'e}t{\'e}s Church-Rosser de syst mes de r{\'e}{\'e}criture {\'e}quationnels ayant la propri{\'e}t{\'e} de terminaison faible},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {97-108},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kemp/84,
AUTHOR = {Kemp, R.},
TITLE = {On a general weight of trees},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {109-120},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Shamir/84,
AUTHOR = {Shamir, E.},
TITLE = {From expanders to better superconcentrators without cascading},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {121-128},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Belaga/84,
AUTHOR = {Belaga, E.G.},
TITLE = {Locally synchronous complexity in the light of the trans-box method},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {129-139},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=129},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Winskel/84,
AUTHOR = {Winskel, G.},
TITLE = {A new definition of morphism on Petri nets},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {140-150},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=140},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Finkel/84,
AUTHOR = {Finkel, A.},
TITLE = {Blocage et vivacit{\'e} dans les r{\'e}seaux {\`a} pile-file},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {151-162},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=151},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Broy/84,
AUTHOR = {Broy, M.},
TITLE = {Denotational semantics of concurrent programs with shared memory},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {163-173},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=163},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Poigne/84,
AUTHOR = {Poigne, A.},
TITLE = {Higher order data structures - Cartesian closure versus $\lambda$-calculus},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {174-185},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=174},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Longo-Martini/84,
AUTHOR = {Longo, G. and Martini, S.},
TITLE = {Computability in higher types and the universal domain $P_{\omega}$},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {186-197},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ambos-Spies/84,
AUTHOR = {Ambos-Spies, K.},
TITLE = {On the structure of polynomial time degrees},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {198-208},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=198},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sykora-Vrto/84,
AUTHOR = {S{\'y}kora, O. and Vr{\v{t}}o, I.},
TITLE = {Optimal layouts of the tree of meshes with vertices on the perimeter of the bounding convex region},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {209-217},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=209},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meyer/84,
AUTHOR = {Meyer, F.},
TITLE = {Efficient simulations among several models of parallel computers},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {218-229},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=218},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Pansiot/84a,
AUTHOR = {Pansiot, J.J.},
TITLE = {Bornes inf{\'e}rieures sur la complexit{\'e} des facteurs des mots infinis engendr{\'e}s par morphismes it{\'e}r{\'e}s},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {230-240},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=230},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Head/84,
AUTHOR = {Head, T.},
TITLE = {Adherence equivalence is decidable for DOL languages},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {241-249},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=241},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Idt/84,
AUTHOR = {Idt, J.},
TITLE = {Automates {\`a} pile sur des alphabets infinis},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {260-273},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mycroft/84,
AUTHOR = {Mycroft, A.},
TITLE = {Logic programs and many-valued logic},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {274-286},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=274},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Michel/84,
AUTHOR = {Michel, M.},
TITLE = {Alg{\`e}bre de machines et logique temporelle},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {287-298},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Rhodes/84,
AUTHOR = {Rhodes, J.},
TITLE = {Algebraic and topological theory of languages and computation},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {299-304},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=299},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Karhumaki/84a,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {A property of three-element codes},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {305-313},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=305},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jantke/84,
AUTHOR = {Jantke, K.P.},
TITLE = {Polynomial time inference of general pattern languages},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {314-325},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=314},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Choffrut-Culik/84a,
AUTHOR = {Choffrut, C. and Culik II, K.},
TITLE = {On extendibility of unavoidable sets},
BOOKTITLE = {Proceedings of the 1st Annual Symposium on Theoretical Aspects of Computer Science, STACS'84 (Paris, France, April 11-13, 1984)},
SERIES = {LNCS},
VOLUME = {166},
PAGES = {326-338},
YEAR = {1984},
EDITOR = {Fontet, M. and Mehlhorn, K.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=166&spage=326},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}