@incollection{Nielson/86,
AUTHOR = {Nielson, Flemming},
TITLE = {Abstract interpretation of denotational definitions},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {1-20},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Emerson-Lei/86,
AUTHOR = {Emerson, E. Allen and Lei, Chin-Laung},
TITLE = {Temporal reasoning under generalized fairness constraints},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {21-36},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Caucal/86,
AUTHOR = {Caucal, D.},
TITLE = {D{\'e}cidabilit{\'e} de l'{\'e}galit{\'e} des langages alg{\'e}briques infinitaires simples},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {37-48},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Escrig/86,
AUTHOR = {Escrig, D. Frutos},
TITLE = {Some probabilistic powerdomains in the category SFP},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {49-59},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Abdallah/86,
AUTHOR = {Abdallah, M.A. Nait},
TITLE = {Ions and local definitions in logic programming},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {60-72},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Spirakis/86,
AUTHOR = {Spirakis, Paul G.},
TITLE = {Input sensitive, optimal parallel randomized algorithms for addition and identification},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {73-86},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Aarts-de_Bont-Habers-van_Laarhoven/86,
AUTHOR = {Aarts, E.H.L. and de Bont, F.M.J. and Habers, J.H.A. and van Laarhoven, P.J.M.},
TITLE = {A parallel statistical cooling algorithm},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {87-97},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lingas/86a,
AUTHOR = {Lingas, Andrzej},
TITLE = {Subgraph isomorphism for biconnected outerplanar graphs in cubic time},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {98-104},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hastad-Helfrich-Lagarias-Schnorr/86,
AUTHOR = {Hastad, J. and Helfrich, B. and Lagarias, J. and Schnorr, C.P.},
TITLE = {Polynomial time algorithms for finding integer relations among real numbers},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {105-118},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Bodlaender-van_Leeuwen/86a,
AUTHOR = {Bodlaender, H.L. and van Leeuwen, J.},
TITLE = {New upperbounds for decentralized extrema-finding in a ring of processors},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {119-129},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=119},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Tamassia-Tollis/86,
AUTHOR = {Tamassia, Roberto and Tollis, Ioannis G.},
TITLE = {Algorithms for visibility representations of planar graphs},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {130-141},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=130},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Meyer_auf_der_Heide/86a,
AUTHOR = {Meyer auf der Heide, Friedhelm},
TITLE = {Speeding up random access machines by few processors},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {142-152},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=142},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Lengauer/86a,
AUTHOR = {Lengauer, Thomas},
TITLE = {Efficient algorithms for finding minimum spanning forests of hierarchically defined graphs},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {153-170},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=153},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Ibarra-Ravikumar/86,
AUTHOR = {Ibarra, Oscar H. and Ravikumar, B.},
TITLE = {On sparseness, ambiguity and other decision problems for acceptors and transducers},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {171-179},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Pecuchet/86a,
AUTHOR = {Pecuchet, Jean-Pierre},
TITLE = {Vari{\'e}t{\'e}s de semigroupes et mots infinis},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {180-191},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=180},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Duboc/86b,
AUTHOR = {Duboc, Christine},
TITLE = {Equations in free partially commutative monoids},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {192-202},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=192},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Darondeau/86,
AUTHOR = {Darondeau, Ph.},
TITLE = {Separating and testing},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {203-212},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Choffrut-Schutzenberger/86,
AUTHOR = {Choffrut, C. and Schutzenberger, M.P.},
TITLE = {D{\'e}composition de fonctions rationnelles},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {213-226},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=213},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Schmidt/86,
AUTHOR = {Schmidt, Ursula},
TITLE = {Long unavoidable patterns},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {227-235},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Bernot-Bidoit-Choppy/86a,
AUTHOR = {Bernot, Gilles and Bidoit, Michel and Choppy, Christine},
TITLE = {Abstract implementations and correctness proofs},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {236-251},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=236},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kelter/86,
AUTHOR = {Kelter, Udo},
TITLE = {Strictness and serializability},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {252-261},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=252},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Gamatie/86,
AUTHOR = {Gamatie, B.},
TITLE = {Towards specification and proof of asynchronous systems},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {262-276},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=262},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hunt-Stearns/86,
AUTHOR = {Hunt III, H.B. and Stearns, R.E.},
TITLE = {Monotone Boolean formulas, distributive lattices, and the complexities of logics, algebraic structures, and computation structures},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {277-290},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Kintala-Wotschke/86,
AUTHOR = {Kintala, C.M.R. and Wotschke, Detlef},
TITLE = {Concurrent conciseness of degree, probabilistic, nondeterministic and deterministic finite automata},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {291-305},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=291},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Rosier-Yen/86b,
AUTHOR = {Rosier, Louis E. and Yen, Hsu-Chun},
TITLE = {Logspace hierarchies, polynomial time and the complexity of fairness problems concerning $\omega$-machines},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {306-320},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=306},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Hartmanis-Hemachandra/86,
AUTHOR = {Hartmanis, Juris and Hemachandra, L.},
TITLE = {On sparse oracles separating feasible complexity classes},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {321-333},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=321},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Balcazar-Book/86a,
AUTHOR = {Balc{\'a}zar, Jos{\'e} L. and Book, Ronald V.},
TITLE = {On generalized Kolmogorov complexity},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {334-340},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=334},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Mehlhorn-Preparata/86a,
AUTHOR = {Mehlhorn, Kurt and Preparata, F.P.},
TITLE = {Area-time optimal division for $T=\Omega((\log n)^{1+e})$},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {341-352},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Borodin-Fich-Meyer_auf_der_Heide-Upfal-Wigderson/86,
AUTHOR = {Borodin, A. and Fich, F. and Meyer auf der Heide, F. and Upfal, E. and Wigderson, A.},
TITLE = {A time-space tradeoff for element distinctness},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {353-358},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=353},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}
@incollection{Reischuk/86,
AUTHOR = {Reischuk, K. R{\"u}diger},
TITLE = {Parallel machines and their communication theoretical limits},
BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)},
SERIES = {LNCS},
VOLUME = {210},
PAGES = {359-368},
YEAR = {1986},
EDITOR = {Monien, B. and Vidal-Naquet, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=359},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Tokyo},
}