Mathematical Foundations of Computer Science 1993

Stefan Sokolowski

ISBN 10: 3540571825 / ISBN 13: 9783540571827

Published by Springer Berlin Heidelberg Aug 1993, 1993

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 18thInternational Symposium on Mathematical Foundations ofComputer Science, MFCS '93, held in Gdansk, Poland,August-September 1993.The MFCS symposia, organized annually in Poland and theformer Czechoslovakia since 1972, have a long andwell-established tradition. Over the years they have servedas a meeting ground for specialists from all branches oftheoretical computer science, in particular- algorithms and complexity, automata theory and theory oflanguages,- concurrent, distributed and real-time systems,- the theory of functional, logic and object-orientedprogramming,- lambda calculus and type theory,- semantics and logics of programs,and others. The volume contains 12 invitedlectures and 56contributed papers selected from 133 submissions. 804 pp. Englisch.

Seller Inventory # 9783540571827

Bibliographic Details

• Title: Mathematical Foundations of Computer Science 1993
• Publisher: Springer Berlin Heidelberg Aug 1993
• Publication Date: 1993
• Language: English
• ISBN 10: 3540571825
• ISBN 13: 9783540571827
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

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.