Mathematical Foundations of Computer Science 1991 : 16th International Symposium

This volume contains the proceedings of a Polish/Czechoslovakian symposium on topics including parallel and distributed computing, software specification and development, logic and semantics of programs, algorithms, complexity and computability theory.