@incollection{Schnorr/88a,
AUTHOR = {Schnorr, C.P.},
TITLE = {Geometry of numbers and integer programming},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {1-7},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gambosi-Italiano-Talamo/88,
AUTHOR = {Gambosi, G. and Italiano, G.F. and Talamo, M.},
TITLE = {Getting back to the past in the union-find problem},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {8-17},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Becker-Kolla/88,
AUTHOR = {Becker, B. and Kolla, R.},
TITLE = {On the construction of optimal time adders},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {18-28},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Just-Meyer_auf_der_Heide-Wigderson/88,
AUTHOR = {Just, B. and Meyer auf der Heide, F. and Wigderson, A.},
TITLE = {On computations with integer division},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {29-37},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Overmars-Smid/88,
AUTHOR = {Overmars, M.H. and Smid, M.H.M.},
TITLE = {Maintaining range trees in secondary memory},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {38-51},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fernandez-Baca-Slutzki/88,
AUTHOR = {Fern{\'a}ndez-Baca, D. and Slutzki, G.},
TITLE = {Solving parametric problems on trees},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {52-60},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Unger/88,
AUTHOR = {Unger, W.},
TITLE = {On the $k$-colouring of circle-graphs},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {61-72},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bergeron-Labelle-Leroux/88,
AUTHOR = {Bergeron, F. and Labelle, G. and Leroux, P.},
TITLE = {Functional equations for data structures},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {73-80},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Meinel/88,
AUTHOR = {Meinel, Ch.},
TITLE = {The power of polynomial size $\Omega$-branching programs},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {81-90},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Schoning-Wagner/88,
AUTHOR = {Sch{\"o}ning, U. and Wagner, K.W.},
TITLE = {Collapsing oracle hierarchies, census functions and logarithmically many queries},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {91-97},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gradel/88a,
AUTHOR = {Gr{\"a}del, E.},
TITLE = {Domino games with an application to the complexity of Boolean algebras with bounded quantifier alternations},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {98-107},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wald/88,
AUTHOR = {Wald, I.},
TITLE = {An automatic speed-up random access machines with powerful arithmetic instructions},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {108-117},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=108},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jenner-Kirsig/88,
AUTHOR = {Jenner, B. and Kirsig, B.},
TITLE = {Characterizing the polynomial hierarchy by alternating auxiliary pushdown automata},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {118-125},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=118},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Diekert-Mobus/88,
AUTHOR = {Diekert, V. and M{\"o}bus, A.},
TITLE = {Hotz-isomorphism theorems in formal language theory},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {126-135},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Heuter/88,
AUTHOR = {Heuter, U.},
TITLE = {First-order properties of trees, star-free expressions and aperiodicity},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {136-148},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=136},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Terlutte/88,
AUTHOR = {Terlutte, A.},
TITLE = {Cyclic ratonial transductions and polynomials of rational functions},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {149-158},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=149},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{De_Felice/88,
AUTHOR = {De Felice, C.},
TITLE = {Constructions of a family of finite maximal codes},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {159-169},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=159},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Allouche-Rande-Thimonier/88,
AUTHOR = {Allouche, J.-P. and Rande, B. and Thimonier, L.},
TITLE = {Fonctions g{\'e}n{\'e}ratrices transcendantes {\`a} coefficients engendr{\'e}s par automates},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {170-183},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=170},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{File/88,
AUTHOR = {Fil{\'e}, G.},
TITLE = {The relation of two patterns with comparable languages},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {184-192},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=184},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bousdira-Remy/88,
AUTHOR = {Bousdira, W. and R{\'e}my, J.-L.},
TITLE = {Hierarchical contextual rewriting with several levels},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {193-206},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=193},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Astesiano-Giovini-Reggio/88,
AUTHOR = {Astesiano, E. and Giovini, A. and Reggio, G.},
TITLE = {Generalized bisimulation in relational specifications},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {207-226},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Brandenburg/88,
AUTHOR = {Brandenburg, F.J.},
TITLE = {On polynomial time graphs grammars},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {227-236},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Courcelle/88,
AUTHOR = {Courcelle, B.},
TITLE = {An axiomatic definition of context-free rewriting and its application to NLC graph grammars},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {237-247},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=237},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Spirakis-Tampakas/88,
AUTHOR = {Spirakis, P. and Tampakas, B.},
TITLE = {Efficient distributed algorithms by using the Archimedean time assumption},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {248-263},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=248},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Abadi-Feigenbaum/88,
AUTHOR = {Abadi, M. and Feigenbaum, J.},
TITLE = {A simple protocol for secure circuit evaluation},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {264-272},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=264},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Chen-Lai/88,
AUTHOR = {Chen, G.-I. and Lai, T.-H.},
TITLE = {Scheduling independent jobs on hypercubes},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {273-280},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=273},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Klein-Wood/88,
AUTHOR = {Klein, R. and Wood, D.},
TITLE = {Voronoi diagrams based on general metrics in the plane},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {281-291},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Santoro-Sidney-Sidney-Urrutia/88,
AUTHOR = {Santoro, N. and Sidney, J.B. and Sidney, S.J. and Urrutia, J.},
TITLE = {Geometric containment, common roots of polynomials and partial orders},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {292-300},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=292},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lienhardt/88,
AUTHOR = {Lienhardt, P.},
TITLE = {Extension of the notion of map and subdivisions of a three-dimensional space},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {301-311},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sack-Suri/88,
AUTHOR = {Sack, J.-R. and Suri, S.},
TITLE = {An optimal algorithm for detecting weak visibility of a polygon},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {312-321},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=312},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Avnaim-Boissonnat/88,
AUTHOR = {Avnaim, F. and Boissonnat, J.-D.},
TITLE = {Polygon placement under translation and rotation},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {322-333},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=322},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bruschi-Pighizzini-Sabadini/88,
AUTHOR = {Bruschi, D. and Pighizzini, G. and Sabadini, N.},
TITLE = {On the existence of the minimum asynchronous automation and on decision problems for unambiguous regular trace languages},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {334-345},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=334},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ochmanski/88,
AUTHOR = {Ochma{\'n}ski, E.},
TITLE = {On morphisms of trace monoids},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {346-355},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=346},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Guessarian-Niar-Dinedane/88,
AUTHOR = {Guessarian, I. and Niar-Dinedane, W.},
TITLE = {An automaton characterization of fairness in SCCS},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {356-372},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=356},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kok/88,
AUTHOR = {Kok, J.-N.},
TITLE = {A compositional semantics for concurrent prolog},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {373-388},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=373},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bellot-Legrand/88,
AUTHOR = {Bellot, P. and Legrand, R.},
TITLE = {Functions and relations},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {389-390},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=389},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Benveniste/88,
AUTHOR = {Benveniste, M.-V.},
TITLE = {LPC},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {391-392},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=391},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bergeron-Cartier/88,
AUTHOR = {Bergeron, F. and Cartier, G.},
TITLE = {Darwin},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {393-394},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=393},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Boy_de_la_Tour-Caferra-Chaminade/88,
AUTHOR = {Boy de la Tour, T. and Caferra, R. and Chaminade, G.},
TITLE = {Some tools for an inference laboratory (ATINF)},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {395-396},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=395},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Dewez-Douin-Lucas/88,
AUTHOR = {Dewez, L. and Douin, J.-M. and Lucas, Ph.},
TITLE = {Modulog and the modula workstation},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {397-398},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Le_Goff-Guernic/88,
AUTHOR = {Le Goff, B. and Guernic, P. Le},
TITLE = {The granules, glutton},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {399-400},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=399},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Soriano/88,
AUTHOR = {Soriano, A.},
TITLE = {Prototype de Venus},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {401-402},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=401},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Wanke/88,
AUTHOR = {Wanke, E.},
TITLE = {Plexus},
BOOKTITLE = {Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science, STACS'88 (Bordeaux, France, February 11-13, 1988)},
SERIES = {LNCS},
VOLUME = {294},
PAGES = {403-404},
YEAR = {1988},
EDITOR = {Cori, R. and Wirsing, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=294&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}