Mathematical Foundations of Computer Science 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings /
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.
Main Authors: | Borzyszkowski, Andrzej M. editor., Sokołowski, Stefan. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1993
|
Subjects: | Mathematics., Software engineering., Computers., Algorithms., Computer logic., Applied mathematics., Engineering mathematics., Applications of Mathematics., Software Engineering/Programming and Operating Systems., Theory of Computation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-57182-5 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Mathematical Foundations of Computer Science 1993 [electronic resource] : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings /
by: Borzyszkowski, Andrzej M. editor., et al.
Published: (1993) -
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings /
by: Prívara, Igor. editor., et al.
Published: (1994) -
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings /
by: Prívara, Igor. editor., et al.
Published: (1994) -
Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings /
by: Ajmone Marsan, Marco. editor., et al.
Published: (1993) -
Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings /
by: Ajmone Marsan, Marco. editor., et al.
Published: (1993)