CAAP '88 : 13th Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988 : proceedings

This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conferenc...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: Colloquium on trees in algebra and programming :Nancy
Άλλοι συγγραφείς: Dauchet, Max, 1946- (Διευθυντής έκδοσης), Nivat, Maurice, 1937-2017, informaticien (Διευθυντής έκδοσης)
Μορφή: Livre numérique
Γλώσσα:Anglais
Έκδοση: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Σειρά:Lecture notes in computer science 299
Θέματα:
Διαθέσιμο Online:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Σημείωση: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• CAAP '88, proceedings, 13th Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988, Berlin, Springer-Verlag, 1988, 1 vol. (VIII-303 p.), Lecture notes in computer science, 3-540-19021-X
• CAAP '88, Texte imprimé, 9783662214947
Περιγραφή
Περίληψη:This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency.
Περιγραφή τεκμηρίου:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540389309 (PDF)
ISSN:1611-3349
Πρόσβαση: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