Advertisement

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

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