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

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 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
  • About this book