Mathematical Foundations of Computer Science 1993 18th International Symposium, MFCS '93, Gdansk, Poland, August 30 - September 3, 1993. Proceedings

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.

Produktdetails

• Mitarbeit: Stefan Sokolowski (Herausgeber), Andrzej M. Borzyszkowski (Herausgeber), Sokolowski (Herausgeber), Sokolowski (Herausgeber), Andrze M Borzyszkowski (Herausgeber), Andrzej M Borzyszkowski (Herausgeber)
• Verlag: Springer, Berlin
• Inhalt: Buch
• Produktform: Taschenbuch
• Erscheinungsdatum: 01.07.2009
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Sonstiges
• EAN: 9783540571827
• ISBN: 978-3-540-57182-7
• Anzahl Seiten: 786
• Illustration: XIII, 786 p.
• Abmessung (Verpackung): 15.5 x 23.5 x 4.2 cm
• Gewicht (Verpackung): 1’192 g
• Serie: Lecture Notes in Computer Science > Vol.711; Lecture Notes in Computer Science, Volume 711; Lecture Notes in Computer Science > 711
• Themen: Semantik, Algorithmen und Datenstrukturen, Software Engineering, Komplexität, Algorithms, Theoretische Informatik, complexity, Programming, Semantics, computerscience, graphtheory, algorithmanalysisandproblemcomplexity, Lambdacalculus, Prozeßalgebren, Processalgebras, Lambda-Kalküle