Advertisement

Table of contents

  1. Front Matter
  2. Arne Andersson, Christer Mattsson
    Pages 15-27
  3. Greg N. Frederickson
    Pages 28-39
  4. Carsten Lund, Mihalis Yannakakis
    Pages 40-51
  5. Bala Kalyanasundaram, Kirk R. Pruhs
    Pages 102-113
  6. Hans Bodlaender, Ton Kloks, Dieter Kratsch
    Pages 114-125
  7. Jerzy W. Jaromczyk, Grzegorz Świcatek
    Pages 126-136
  8. Philippe Flajolet, Mordecai Golin
    Pages 137-149
  9. Dexter Kozen, Shmuel Zaks
    Pages 150-161
  10. John H. Reif, Stephen R. Tate
    Pages 162-176
  11. Michael B. Dillencourt, Warren D. Smith
    Pages 177-188
  12. Lane A. Hemachandra
    Pages 189-202
  13. Marek Karpinski, Rutger Verbeek
    Pages 227-240
  14. Torben Hagerup, Kurt Mehlhorn, J. Ian Munro
    Pages 253-264
  15. Matthew Franklin, Moti Yung
    Pages 265-276
  16. David W. Juedes, James I. Lathrop, Jack H. Lutz
    Pages 277-288
  17. Tao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu
    Pages 301-312
  18. Oscar H. Ibarra, Tao Jiang, Nicholas Tran, Hui Wang
    Pages 313-324
  19. Christian Michaux, Roger Villemaire
    Pages 325-334
  20. Werner Ebinger, Anca Muscholl
    Pages 335-346
  21. Danny Dolev, Dalia Malki
    Pages 371-387
  22. Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
    Pages 388-397
  23. Friedhelm Meyer auf der Heide, Brigitte Oesterdiekhoff, Rolf Wanka
    Pages 398-409
  24. Lefteris M. Kirousis
    Pages 418-429
  25. Imre Simon
    Pages 430-444
  26. Edward Ochmański, Pierre-André Wacrenier
    Pages 445-456
  27. Ph. Dumas
    Pages 457-468
  28. David M. Cohen, Michael L. Fredman
    Pages 469-477
  29. Filippo Mignosi, Patrice Séébold
    Pages 507-518
  30. Walter Vogler
    Pages 532-543
  31. Klaus Havelund, Kim G. Larsen
    Pages 544-557
  32. Paula Inverardi, Corrado Priami, Daniel Yankelevich
    Pages 558-569
  33. Carolyn Brown, Doug Gurr
    Pages 570-581
  34. Kamal Lodaya, R. Ramanujam, P. S. Thiagarajan
    Pages 582-592
  35. Hardi Hungar, Bernhard Steffen
    Pages 593-605

About these proceedings

Introduction

The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions.

Keywords

Automat algorithms automata complexity computer science data structure data structures formal language programming programming language robot robotics semantics term rewriting verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-56939-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56939-8
  • Online ISBN 978-3-540-47826-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site