Table of contents

  1. Front Matter
  2. Yonatan Aumann, Judit Bar-Ilan, Uriel Feige
    Pages 47-58
  3. Noa Globerman, David Harel
    Pages 73-82
  4. Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson
    Pages 83-105
  5. Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
    Pages 106-117
  6. Erich Grädel, Yuri Gurevich
    Pages 118-129
  7. Nils Klarlund, Madhavan Mukund, Milind Sohoni
    Pages 130-141
  8. Flavio Corradini, Rocco De Nicola
    Pages 154-165
  9. Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch
    Pages 166-177
  10. José -Ramón Sánchez-Couso, María -Inés Fernández-Camacho
    Pages 178-190
  11. Ramesh Hariharan, S. Muthukrishnan
    Pages 203-214
  12. Amihood Amir, Gary Benson, Martin Farach
    Pages 215-226
  13. Giuseppe F. Italiano, Rajiv Ramaswami
    Pages 227-238

About these proceedings

Introduction

This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures, computational complexity, logic and verification, formal languages, term rewriting, algorithms and communications, graph algorithms, randomized complexity, various algorithms.

Keywords

Automat algorithm algorithms automata complexity computer computer science data structure data structures formal language formal languages logic programming term rewriting verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58201-0
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58201-4
  • Online ISBN 978-3-540-48566-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology