Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : Proceedings ... FOUNDATIONS OF COMPUTER SCIENCE) - Softcover

Inhaltsangabe

Dieser Band enthält die Verfahren des 16. International Symposium on Mathematical Foundations of Computer Science, MFCS '91, abgehalten in Kazimierz Dolny, Polen, 9-13. September 1991. Die Serie der MFCS-Symposien, die seit 1972 abwechselnd in Polen und der Tschechoslowakei organisiert wird, hat eine lange und etablierte Tradition. Ziel der Serie ist es, qualitativ hochwertige Forschung in allen Bereichen der theoretischen Informatik zu fördern und Spezialisten zusammenzubringen, die aktiv in diesem Bereich arbeiten. Zu den wichtigsten Interessengebieten dieses Symposiums gehören: Softwarespezifikation und -entwicklung, parallele und verteilte Berechnung, Logik und Semantik von Programmen, Algorithmen, Automaten und formalen Sprachen, Komplexitäts- und Berechenbarkeitstheorie und andere. Der Band enthält 5 eingeladene Papiere von angesehenen Wissenschaftlern und 38 Beiträge, die aus insgesamt 109 eingereichten Papieren ausgewählt wurden.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.