Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1995 : selected papers
This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994. The book covers the whole spectrum of methods an...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
1073 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Graph grammars and their application to computer science, 5th international workshop, Williamsburg, VA, USA, November 13-18, 1995, selected papers, J. Cuny, Hartmut Ehrig, Gregor Engels ... eds, 1996, Berlin, Springer, 1 vol. (X-564 p.), Lecture notes in computer science, 3-540-61228-9 • Graph Grammars and Their Application to Computer Science, Texte imprimé, 9783662185629 |
| LEADER | 05790nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944707 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155198580 | ||
| 020 | |a 9783540683889 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International workshop on Graph grammars and their application to computer science |n (05 |d :1995 |c :Williamsburg, Va.). | |
| 245 | 1 | 0 | |a Graph grammars and their application to computer science : |b 5th international workshop, Williamsburg, VA, USA, November 13-18, 1995 : selected papers |c [edited by] J. Cuny, H. Ehrig, G. Engels... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1073 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A partial algebras approach to graph transformation -- The contractum in algebraic graph rewriting -- A category-theoretical approach to vertex replacement: The generation of infinite graphs -- Issues in the practical use of graph rewriting -- The category of typed graph grammars and its adjunctions with categories of derivations -- Graph unification and matching -- On the interleaving semantics of transformation units A step into GRACE -- A graph rewriting framework for Statecharts semantics -- Programmed graph transformations and graph transformation units in GRACE -- Pragmatic and semantic aspects of a module concept for graph transformation systems -- Software integration problems and coupling of graph grammar specifications -- Using attributed flow graph parsing to recognize clichés in programs -- Reconfiguration Graph Grammar for massively parallel, fault tolerant computers -- The use of tree transducers to compute translations between graph algebras -- The bounded degree problem for non-obstructing eNCE graph grammars -- Process specification and verification -- An event structure semantics for graph grammars with parallel productions -- Synchronized composition of graph grammar productions -- The decomposition of ESM computations -- Formal relationship between graph grammars and Petri nets -- Hierarchically distributed graph transformation -- On edge addition rewrite systems and their relevance to program analysis -- Graph automata for linear graph languages -- The obstructions of a minor-closed set of graphs defined by hyperedge replacement can be constructed -- Concatenation of graphs -- HRNCE grammars A hypergraph generating system with an eNCE way of rewriting -- Node replacement in hypergraphs: Simulation of hyperedge replacement, and decidability of confluence -- Chain-codepictures and collages generated by hyperedge replacement -- Transformations of graph grammars -- Drawing graphs with attribute graph grammars -- Graph pattern matching in PROGRES -- A technique for recognizing graphs of bounded treewidth with application to subclasses of partial 2-paths -- The definition in monadic second-order logic of modular decompositions of ordered graphs -- Group based graph transformations and hierarchical representations of graphs -- Integrating lineage and interaction for the visualization of cellular structures -- Cellworks with cell rewriting and cell packing for plant morphogenesis -- Subapical bracketed L-systems. | |
| 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 book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994. The book covers the whole spectrum of methods and techniques for the investigation of the structure of graphs and graph transformations. The papers are divided into nine topical sections on rewriting techniques, specification and semantics, software engineering, algorithms and architectures, concurrency, graph languages, pattern and graphics, structure and logic of graphs, and biology. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Perception des structures | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Grammaires de graphes | ||
| 700 | 1 | |a Cuny, Janice, |d 19..- |4 pbd | |
| 700 | 1 | |a Ehring, Hartmut, |d 1944- |4 pbd | |
| 700 | 1 | |a Engels, Gregor, |d 19..- |4 pbd | |
| 776 | 0 | |0 025338447 |t Graph grammars and their application to computer science |o 5th international workshop, Williamsburg, VA, USA, November 13-18, 1995 |o selected papers |f J. Cuny, Hartmut Ehrig, Gregor Engels ... eds |d 1996 |c Berlin |n Springer |p 1 vol. (X-564 p.) |s Lecture notes in computer science |z 3-540-61228-9 | |
| 776 | 0 | |t Graph Grammars and Their Application to Computer Science |b Texte imprimé |z 9783662185629 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61228-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-W3X36RX8-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747917248 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61228-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750929839 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61228-9 |z Accès INSA CVL | |
| 997 | |0 944707 |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/ | ||