Mathematical Foundations of Computer Science 1989

Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings

610 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik Mathematik für Informatiker
• ISBN: 9783540514862
• Sprache: Englisch
• Erscheinungsdatum: 09.08.1989
• Größe: 23.5 x 15.5 cm
• Verlag: Springer Berlin
• Herausgegeben von: Antoni Kreczmar, Grazyna Mirkowska