Mathematical foundations of computer science 1991 : 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 w...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Erakunde egilea: Symposium on mathematical foundations of computer science :Kazimierz Dolny, Pologne
Beste egile batzuk: Tarlecki, Andrzej, 1956- (Argitalpenaren zuzendaria)
Formatua: Livre numérique
Hizkuntza:Anglais
Argitaratua: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Saila:Lecture notes in computer science 520
Gaiak:
Sarrera elektronikoa:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Oharra: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Mathematical foundations of computer science, 1991, 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991, proceedings, A. Tarlecki (ed.), 1991, Berlin, Springer-Verlag, 1 vol. (XI-435 p.), Lecture notes in computer science, 3-540-54345-7
• Mathematical Foundations of Computer Science 1991, Texte imprimé, 9783662202142
Deskribapena
Gaia: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.
Alearen deskribapena:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540475798 (PDF)
ISSN:1611-3349
Sartu:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017