Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings /

This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.

Saved in:
Bibliographic Details
Main Authors: Tarlecki, Andrzej. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991
Subjects:Computer science., Architecture, Computer., Software engineering., Computers., Algorithms., Computer logic., Computer Science., Theory of Computation., Software Engineering/Programming and Operating Systems., Computer System Implementation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs.,
Online Access:http://dx.doi.org/10.1007/3-540-54345-7
Tags: Add Tag
No Tags, Be the first to tag this record!