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

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