Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1993

18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Editors: Borzyszkowski, Andrzej M., Sokolowski, Stefan (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47927-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-57182-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (68 chapters)

Table of contents (68 chapters)
  • On the unification free prolog programs

    Pages 1-19

    Apt, Krzysztof R. (et al.)

  • Equivalences and preorders of transition systems

    Pages 20-31

    Arnold, A. (et al.)

  • Deliverables: a categorical approach to program development in type theory

    Pages 32-67

    McKinna, James (et al.)

  • Complex and complex-like traces

    Pages 68-82

    Diekert, Volker

  • Symbolic bisimulations (abstract)

    Pages 83-83

    Hennessy, Matthew

Buy this book

eBook $109.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47927-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-57182-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Foundations of Computer Science 1993
Book Subtitle
18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings
Editors
  • Andrzej M. Borzyszkowski
  • Stefan Sokolowski
Series Title
Lecture Notes in Computer Science
Series Volume
711
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47927-7
DOI
10.1007/3-540-57182-5
Softcover ISBN
978-3-540-57182-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIII, 786
Topics