CAAP '83 : Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
159 |
| נושאים: | |
| גישה מקוונת: | 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'83, Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983, Proceedings, ed. by G. Ausiello and M. Protasi, Berlin, Springer, 1983, 1 vol. (VI-416 p.), Lecture notes in computer science, 3-540-12727-5 • CAAP '83, Texte imprimé, 9783662198179 |
| LEADER | 03981nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 943901 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155167901 | ||
| 020 | |a 9783540387145 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a CAAP'83 : Trees in Algebra and Programming Colloquium |n (8th |d :1983 |c :L'Aquila, Italy). | |
| 245 | 1 | 0 | |a CAAP '83 : |b Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings |c [edited by] Giorgio Ausiello, Marco Protasi. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 159 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Generalized heterogeneous algebras and partial interpretations -- Applicative information systems -- Acyclic database schemes (of various degrees): A painless introduction -- Efficient algorithms for finding maximal matching in graphs -- A survey of NLC grammars -- Prefix and perfect languages -- Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets -- VLSI mesh of trees for data base processing -- Continuite des transducteurs d'etats finis d'arbres -- Completeness results for a polymorphic type system -- A class of program schemes based on tree rewriting systems -- Complete sets of unifiers and matchers in equational theories -- Digital search trees and the generation of an exponentially distributed variate -- Decidable properties of monadic recursive schemas with a depth parameter -- Nivat-processing systems: Decision problems related to protection and synchronization -- Confluent and coherent equational term rewriting systems application to proofs in abstract data types -- An application of maximum bipartite c-matching to subtree isomorphism' -- Characterizing specification languages which admit initial semantics -- Topological bandwidth -- Probabilistic analysis of graph colouring algorithms -- Some further approximation algorithms for the vertex cover problem -- An application of the theory of graphs and hypergraphs to the decomposition of relational database schemes -- Remarks on the pyramidal structure -- Structured theories in LCF -- Alternating tree automata -- Cofinality in reduction graphs. | |
| 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 | ||
| 650 | |a Informatique | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Arbres (théorie des graphes) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ausiello, Giorgio, |d 1941- |4 pbd | |
| 700 | 1 | |a Protasi, Marco. |4 pbd | |
| 776 | 0 | |0 025412353 |t CAAP'83 |o Trees in algebra and programming, 8th colloquium, L'Aquila, March 9-11, 1983 |o Proceedings |f ed. by G. Ausiello and M. Protasi |c Berlin |n Springer |d 1983 |p 1 vol. (VI-416 p.) |s Lecture notes in computer science |z 3-540-12727-5 | |
| 776 | 0 | |t CAAP '83 |b Texte imprimé |z 9783662198179 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-12727-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-5MHTGMDZ-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747924694 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-12727-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750936843 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-12727-5 |z Accès INSA CVL | |
| 997 | |0 943901 |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/ | ||