Trees in algebra and programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11 13, 1994 : proceedings
This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to t...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
787 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Trees in algebra and programming, CAAP'94, 19th International Colloquium, Edinburgh, U.K., April 1994, proceedings, Sophie Tison, ed, Berlin, Springer-Verlag, 1994, 1 vol. (x, 351 p.), Lecture notes in computer science, 0-387-57879-X • Trees in Algebra and Programming - CAAP '94, Texte imprimé, 9783662208519 |
| LEADER | 04464nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944366 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155185640 | ||
| 020 | |a 9783540483731 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Colloquium on trees in algebra and programming |n (19 |d :1994 |c :Edimbourg). | |
| 245 | 1 | 0 | |a Trees in algebra and programming - CAAP '94 : |b 19th International Colloquium, Edinburgh, U.K., April 11 13, 1994 : proceedings |c [edited by] Sophie Tison. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 787 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Ordering constraints on trees -- Graph grammars and tree transducers -- Type Preorders -- Compilative constructive negation in constraint logic programs -- A new linear algorithm for Modular Decomposition -- A CPS-translation of the ??-calculus -- A lower bound on the growth of functions computed by tree transductions -- On the decidability of model checking for several ?-calculi and Petri nets -- Generalizations of the periodicity theorem of Fine and Wilf -- Probabilistic domains -- Some results on top-context-free tree languages -- On higher order recursive program schemes -- Graphs and decidable transductions based on edge constraints -- Nondeterministic automata with concurrency relations and domains -- Algebraic and combinatorial properties of simple, coloured walks -- Probabilistic analysis of an election algorithm in a tree -- On the first-order equivalence of call-by-name and call-by-value -- On the modularity of confluence of constructor-sharing term rewriting systems -- Global program analysis in constraint form -- On projective and separable properties -- A rank hierarchy for deterministic tree-walking transducers -- Superposition in picture languages -- A grammar-based data-flow analysis to stop deforestation. | |
| 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 papers selected for presentation at the 19th Colloquium on Trees in Algebra and Programming (CAAP '94), which was held jointly with the fifth European Symposium on Programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Tison, Sophie, |d 1958- |4 pbd | |
| 776 | 0 | |0 018561810 |t Trees in algebra and programming, CAAP'94 |o 19th International Colloquium, Edinburgh, U.K., April 1994 |o proceedings |f Sophie Tison, ed |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (x, 351 p.) |s Lecture notes in computer science |z 0-387-57879-X | |
| 776 | 0 | |t Trees in Algebra and Programming - CAAP '94 |b Texte imprimé |z 9783662208519 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0017469 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TCKPHDP5-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747920281 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0017469 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932767 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0017469 |z Accès INSA CVL | |
| 997 | |0 944366 |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/ | ||