Automata, Languages and Programming

26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings

  • Jiří Wiedermann
  • Peter van Emde Boas
  • Mogens Nielsen

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1644)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Talks

    1. Luca Cardelli
      Pages 10-24
    2. Kevin J. Compton, Scott Dexter
      Pages 25-39
    3. Karl Crary, Greg Morrisett
      Pages 40-54
    4. Felipe Cucker
      Pages 55-73
    5. Abbas Edalat, Marko Krznarić
      Pages 90-104
    6. Grzegorz Rozenberg, Arto Salomaa
      Pages 106-118
    7. Jeffrey Scott Vitter
      Pages 119-133
  3. Contributed Papers

    1. Eric Allender, Samir Datta, Andris Ambainis, David A. Mix Barrington, Huong LêThanh
      Pages 149-158
    2. Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled
      Pages 159-168
    3. Rajeev Alur, Sampath Kannan, Mihalis Yannakakis
      Pages 169-178
    4. Alexander E. Andreev, Juri L. Baskakov, Andrea E. F. Clementi, José D. P. Rolim
      Pages 179-189
    5. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
      Pages 190-199
    6. Piotr Berman, Marek Karpinski
      Pages 200-209
    7. Patricia Bouyer, Antoine Petit
      Pages 210-219
    8. Harry Buhrman, Paul Vitányi, Tao Jiang, Ming Li
      Pages 220-229

About these proceedings

Keywords

Automat algorithms automata combinatorial optimization distributed computing logic optimization programming

Editors and affiliations

  • Jiří Wiedermann
    • 1
  • Peter van Emde Boas
    • 2
  • Mogens Nielsen
    • 3
  1. 1.Institute for Computer ScienceAcademy of Sciences of the Czech RepublicPrague 8 - LibenCzech Republic
  2. 2.ILLC-WINS-University of AmsterdamAmsterdamThe Netherlands
  3. 3.BRICS, Department of Computer ScienceUniversity of AarhusAarhus CDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48523-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66224-2
  • Online ISBN 978-3-540-48523-0
  • Series Print ISSN 0302-9743
  • About this book