Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30-September 3, 1993 Proceedings /

Saved in:
Bibliographic Details
Author / Creator:Borzyszkowski, Andrzej M.
Imprint:Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Description:1 online resource (XIII, 786 pages).
Language:English
Series:Lecture Notes in Computer Science, 0302-9743 ; 711
Lecture notes in computer science ; 711.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11080458
Hidden Bibliographic Details
Other authors / contributors:Sokołowski, Stefan.
ISBN:9783540479277
3540479279
3540479279
9783540571827
Summary: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.
Other form:Print version: 9783540571827
Standard no.:10.1007/3-540-57182-5
Description
Summary: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.
Physical Description:1 online resource (XIII, 786 pages).
ISBN:9783540479277
3540479279
9783540571827
ISSN:0302-9743
;