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...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| 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
299 |
| 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: | • 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 |
| LEADER | 04600nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944643 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155195921 | ||
| 020 | |a 9783540389309 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511.5 | ||
| 111 | 2 | |a Colloquium on trees in algebra and programming |n (13 |d :1988 |c :Nancy). | |
| 245 | 1 | 0 | |a CAAP '88 : |b 13th Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988 : proceedings |c [edited by] M. Dauchet, M. Nivat. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 299 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A tree pattern matching algorithm with reasonable space requirements -- On the maximum path length of AVL trees -- Decomposition trees: Structured graph representation and efficient algorithms -- On counting and approximation -- Parameter-reduction of higher level grammars -- Analysis of dynamic algorithms in D.E.Knuth's model -- On completeness of narrowing strategies -- Implementing term rewrite languages in Dactl -- Unification in primal algebras -- Algebraic specification with built-in domain constructions -- Product and iteration of module specifications -- Equational completion in order-sorted algebras extended abstract -- Proving systolic arrays -- Expressiveness bounds for completeness in trace-based network proof systems -- Proof systems for Hennessy-Milner Logic with recursion -- Regular automata and model checking -- Interval logics and sequential transducers -- A2CCS: A simple extension of CCS for handling atomic actions -- Modelling statecharts behaviour in a fully abstract way -- Directed hypergraphs: Data structures and applications. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a 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 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Algorithmes parallèles | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Dauchet, Max, |d 1946- |4 pbd | |
| 700 | 1 | |a Nivat, Maurice, |d 1937-2017, |c informaticien. |4 pbd | |
| 776 | 0 | |0 02064972X |t CAAP '88 |o proceedings |f 13th Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988 |c Berlin |n Springer-Verlag |d 1988 |p 1 vol. (VIII-303 p.) |s Lecture notes in computer science |z 3-540-19021-X | |
| 776 | 0 | |t CAAP '88 |b Texte imprimé |z 9783662214947 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0026091 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-GJKXW5PQ-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747917833 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0026091 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093039X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0026091 |z Accès INSA CVL | |
| 997 | |0 944643 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||