Table of contents

  1. Front Matter
  2. Harald Ganzinger
    Pages 1-3
  3. Abhiram Ranade
    Pages 4-23
  4. Véronique Bruyère, Michel Latteux
    Pages 24-47
  5. Lars Jenner, Walter Vogler
    Pages 75-86
  6. Giacomo Lenzi
    Pages 87-97
  7. Julian Bradfield, Javier Esparza, Angelika Mader
    Pages 98-109
  8. Allan Cheng, Dexter Kozen
    Pages 134-145
  9. Michel Billaud
    Pages 146-157
  10. D. J. B. Bosscher, W. O. D. Griffioen
    Pages 182-193
  11. Géraud Sénizergues
    Pages 206-218
  12. Philippe Flajolet, Xavier Gourdon, Daniel Panario
    Pages 232-243
  13. Ulla Koppenhagen, Ernst W. Mayr
    Pages 244-255
  14. T. Kloks, D. Kratsch, C. K. Wong
    Pages 256-267
  15. Elias Koutsoupias, Christos Papadimitriou, Mihalis Yannakakis
    Pages 280-289
  16. Monika Rauch Henzinger, Mikkel Thorup
    Pages 290-299
  17. Farid Ablayev, Marek Karpinski
    Pages 348-356
  18. Alexander E. Andreev, Andrea E. F. Clementi, José D. P. Rolim
    Pages 357-368
  19. Ronald V. Book, Heribert Vollmer, Klaus W. Wagner
    Pages 369-380
  20. Sandrine Julia
    Pages 393-402
  21. Aldo de Luca
    Pages 403-415
  22. Giuseppe Ateniese, Carlo Blundo, Alfrede De Santis, Douglas R. Stinson
    Pages 416-428
  23. Yossi Azar, Yair Bartal, Esteban Feuerstein, Amos Fiat, Stefano Leonardi, Adi Rosén
    Pages 429-441
  24. Phillip G. Bradford, Knut Reinert
    Pages 454-465
  25. Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard E. Stearns
    Pages 466-477
  26. Petr Jančar, Javier Esparza
    Pages 478-489
  27. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Pages 490-501
  28. Frank Schulz, Elmar Schömer
    Pages 526-537
  29. Vicky Siu-Ngan Choi, Mordecai Golin
    Pages 538-549
  30. Martin Farach, S. Muthukrishnan
    Pages 550-561
  31. J. -C. Bermond, L. Gargano, S. Perennes, A. A. Rescigno, U. Vaccaro
    Pages 574-585
  32. Bogdan S. Chlebus, Anna Gambin, Piotr Indyk
    Pages 586-597

About these proceedings


This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS).
The proceedings contain 52 refereed papers selected from 172 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on: Process Theory; Fairness, Domination, and the u-Calculus; Logic and Algebra; Languages and Processes; Algebraic Complexity; Graph Algorithms; Automata; Complexity Theory; Combinatorics on Words; Algorithms; Lower Bounds; Data Structures...


Automat algorithms automata combinatorics on words complexity complexity theory computer computer science data structures logic programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61440-1
  • Online ISBN 978-3-540-68580-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site