Advertisement

Table of contents

  1. Front Matter
  2. Krzysztof R. Apt, Sandro Etalle
    Pages 1-19
  3. A. Arnold, A. Dicky
    Pages 20-31
  4. Volker Diekert
    Pages 68-82
  5. Matthew Hennessy
    Pages 83-83
  6. Vaughan Pratt
    Pages 142-155
  7. A. Ehrenfeucht, G. Rozenberg
    Pages 156-173
  8. Philip Wadler
    Pages 185-210
  9. Laurent Alonso, René Schott
    Pages 211-221
  10. Roberto M. Amadio
    Pages 222-231
  11. V. Arvind, J. Köbler, M. Mundhenk
    Pages 232-241
  12. Egidio Astesiano, Gianna Reggio, Elena Zucca
    Pages 242-251
  13. J. W. de Bakker, F. van Breugel, A. de Bruin
    Pages 252-261
  14. Danièle Beauquier, Andreas Podelski
    Pages 262-271
  15. Jean Berstel, Patrice Séébold
    Pages 281-290
  16. Hans L. Bodlaender, Klaus Jansen
    Pages 291-300
  17. Marcello Bonsangue, Joost N. Kok
    Pages 301-310
  18. Liming Cai, Jianer Chen
    Pages 311-320
  19. Ilaria Castellani
    Pages 321-331
  20. Christophe Cérin, Antoine Petit
    Pages 332-341
  21. Maura Cerioli, José Meseguer
    Pages 342-351
  22. Shiva Chaudhuri, Torben Hagerup, Rajeev Raman
    Pages 352-361
  23. Jian Chen, John Staples
    Pages 362-371
  24. J. F. Costa, A. Sernadas, C. Sernadas
    Pages 382-391
  25. Karel Culik II, Jarkko Kari
    Pages 392-402
  26. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
    Pages 403-412
  27. Pietro Di Gianantonio
    Pages 413-422
  28. Zinovy Diskin, Ilya Beylin
    Pages 423-432
  29. Uffe Engberg, Glynn Winskel
    Pages 442-452
  30. A. Fantechi, S. Gnesi, V. Perticaroli
    Pages 453-462
  31. Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum
    Pages 463-472
  32. Erik de Haas, Peter van Emde Boas
    Pages 485-494
  33. Oscar H. Ibarra, Nicholas Trân
    Pages 517-526
  34. Petr Jancar, Frantisek Mráz, Martin Plátek
    Pages 527-536
  35. Astrid Kiehn
    Pages 547-556
  36. Bruno Martin
    Pages 557-565
  37. David Murphy
    Pages 566-576
  38. Philippe Narbel
    Pages 577-587

About these proceedings

Introduction

This volume contains the proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS '93, held in Gdansk, Poland, August-September 1993. The MFCS symposia, organized annually in Poland and the former Czechoslovakia since 1972, have a long and well-established tradition. Over the years they have served as a meeting ground for specialists from all branches of theoretical computer science, in particular - algorithms and complexity, automata theory and theory of languages, - concurrent, distributed and real-time systems, - the theory of functional, logic and object-oriented programming, - lambda calculus and type theory, - semantics and logics of programs, and others. The volume contains 12 invitedlectures and 56 contributed papers selected from 133 submissions.

Keywords

Complexity Computer Science Graph Theory Komplexität Lambda Calculus Lambda-Kalküle Process Algebras Prozeßalgebren Semantics Semantik algorithms programming

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-57182-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57182-7
  • Online ISBN 978-3-540-47927-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences