Skip to main content
SpringerLink
Log in
Book cover

Mathematical Foundations of Computer Science 1993

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

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Andrzej M. Borzyszkowski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stefan Sokołowski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 711)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (68 papers)

  1. Front Matter

    Download chapter PDF

  2. On the unification free prolog programs

    • Krzysztof R. Apt, Sandro Etalle
    Pages 1-19

  3. Equivalences and preorders of transition systems

    • A. Arnold, A. Dicky
    Pages 20-31

  4. Deliverables: a categorical approach to program development in type theory

    • James McKinna, Rod Burstall
    Pages 32-67

  5. Complex and complex-like traces

    • Volker Diekert
    Pages 68-82

  6. Symbolic bisimulations (abstract)

    • Matthew Hennessy
    Pages 83-83

  7. Some results on the full abstraction problem for restricted lambda calculi

    • Furio Honsell, Marina Lenisa
    Pages 84-104

  8. Action calculi, or syntactic action structures

    • Robin Milner
    Pages 105-121

  9. Observable properties of higher order functions that dynamically create local names, or: What's new?

    • Andrew M. Pitts, Ian D. B. Stark
    Pages 122-141

  10. The second calculus of binary relations

    • Vaughan Pratt
    Pages 142-155

  11. An introduction to dynamic labeled 2-structures

    • A. Ehrenfeucht, G. Rozenberg
    Pages 156-173

  12. Post Correspondence Problem: Primitivity and interrelations with complexity classes

    • Alexandru Mateescu, Arto Salomaa
    Pages 174-184

  13. A taste of linear logic

    • Philip Wadler
    Pages 185-210

  14. On the tree inclusion problem

    • Laurent Alonso, René Schott
    Pages 211-221

  15. On the adequacy of per models

    • Roberto M. Amadio
    Pages 222-231

  16. Hausdorff reductions to sparse sets and to sets of high information content

    • V. Arvind, J. Köbler, M. Mundhenk
    Pages 232-241

  17. Stores as homomorphisms and their transformations

    • Egidio Astesiano, Gianna Reggio, Elena Zucca
    Pages 242-251

  18. Comparative semantics for linear arrays of communicating processes

    • J. W. de Bakker, F. van Breugel, A. de Bruin
    Pages 252-261

  19. Rabin tree automata and finite monoids

    • Danièle Beauquier, Andreas Podelski
    Pages 262-271

  20. Efficient type reconstruction in the presence of inheritance

    • Marcin Benke
    Pages 272-280
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation