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).
Series:Lecture Notes in Computer Science, 0302-9743 ; 711
Lecture notes in computer science ; 711.
Subject:Computer science.
Data structures (Computer science)
Computer software.
Logic design.
Combinatorial analysis.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Data Structures.
Combinatorial analysis.
Computer science.
Computer software.
Data structures (Computer science)
Logic design.
Electronic books.
Format: E-Resource Book
URL for this record:
Hidden Bibliographic Details
Other authors / contributors:Sokołowski, Stefan.
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