Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - compl...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: Symposium on mathematical foundations of computer science :Carlsbad, Tchécoslovaquie
Diğer Yazarlar: Chytil, Michal, 1949- (Yayın yönetmeni), Janiga, Ladislav, 1954- (Yayın yönetmeni), Koubek, Václav, 1948-2016 (Yayın yönetmeni)
Materyal Türü: Livre numérique
Dil:Anglais
Baskı/Yayın Bilgisi: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Seri Bilgileri:Lecture notes in computer science 324
Konular:
Online Erişim:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Not: 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 1988, proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988, M.P. Chytil, L. Janiga, V. Koubek, eds, 1988, Berlin, Springer, 1 vol. (IX-562 p.), Lecture notes in computer science, 3-540-50110-X
• Mathematical Foundations of Computer Science 1988, Texte imprimé, 9783662208199
Diğer Bilgiler
Özet:This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.
Diğer Bilgileri:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540459262 (PDF)
ISSN:1611-3349
Erişim: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