Table of contents

  1. Michel Parigot, Paul Rozière
    Pages 608-617
  2. F. Parisi-Presicce, S. Veglioni
    Pages 618-628
  3. Don Pigozzi, Antonino Salibra
    Pages 629-639
  4. Regimantas Pliuškevičius
    Pages 640-649
  5. Hermann Puhlmann
    Pages 650-659
  6. Bernhard Reus, Thomas Streicher
    Pages 660-670
  7. Peter Ružička, Juraj Waczulík
    Pages 671-681
  8. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
    Pages 682-692
  9. David Scholefield, Hussein Zedan, He Jifeng
    Pages 693-702
  10. Bernhard Steffen, Carsten Weise
    Pages 703-713
  11. Werner Stephan, Andreas Wolpers
    Pages 714-723
  12. David Stevens
    Pages 724-733
  13. Dorothea Wagner, Frank Wagner
    Pages 744-750
  14. Jilei Yin, Zhu Hong
    Pages 761-766
  15. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • 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
Finance, Business & Banking
Energy, Utilities & Environment