Cover Image

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings /

Show other versions (1)

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 w...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Tarlecki, Andrzej
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1991.
Series:Lecture notes in computer science ; 520.
Subjects:
Computer science > Mathematics > Congresses.
théorie complexité.
théorie calcul.
logique programme.
sémantique programme.
informatique répartie.
parallélisme.
développement logiciel.
spécification logiciel.
algorithmique.
informatique théorique.
Informatique > Mathématiques > Congrès.
Computer science > Mathematics.
Fundamentele informatica.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Electronic resource.
Physical Description:1 online resource (xi, 435 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9783540475798 (electronic bk.)
3540475796 (electronic bk.)