Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construc...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
776 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Actes d'un séminaire tenu à Dagstuhl du 4 au 8 janvier 1993, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Graph transformations in computer science, international workshop, Dagstuhl Castle, Germany, January 4-8, 1993, proceedings, Hans Jürgen Schneider, Hartmut Ehrig, (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (VIII-394 p.), Lecture notes in computer science, 0-387-57787-4 • Graph Transformations in Computer Science, Texte imprimé, 9783662164150 |
| LEADER | 04951nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 945500 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155230263 | ||
| 020 | |a 9783540483335 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Schneider, Hans Jürgen, |d 1937- | |
| 245 | 1 | 0 | |a Graph transformations in computer science : |b international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings |c [edited by] Hans Jürgen Schneider, Hartmut Ehrig. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 776 |x 1611-3349 | |
| 500 | |a Actes d'un séminaire tenu à Dagstuhl du 4 au 8 janvier 1993, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Path-controlled graph grammars for multiresolution image processing and analysis -- Syntax and semantics of hybrid database languages -- Decomposability helps for deciding logics of knowledge and belief -- Extending graph rewriting with copying -- Graph-grammar semantics of a higher-order programming language for distributed systems -- Abstract graph derivations in the double pushout approach -- Note on standard representation of graphs and graph derivations -- Jungle rewriting: An abstract description of a lazy narrowing machine -- Recognizable sets of graphs of bounded tree-width -- Canonical derivations for high-level replacement systems -- A computational model for generic graph functions -- Graphs and designing -- ESM systems and the composition of their computations -- Relational structures and their partial morphisms in view of single pushout rewriting -- Single pushout transformations of equationally defined graph structures with applications to actor systems -- Parallelism in single-pushout graph rewriting -- Semantics of full statecharts based on graph rewriting -- Contextual occurrence nets and concurrent constraint programming -- Uniform-modelling in graph grammar specifications -- Set-theoretic graph rewriting -- On relating rewriting systems and graph grammars to event structures -- Logic based structure rewriting systems -- Guaranteeing safe destructive updates through a type system with uniqueness information for graphs -- Amalgamated graph transformations and their use for specifying AGG an algebraic graph grammar system. | |
| 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 The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler construction, software engineering, concurrent and distributed systems modelling, and database design and theory. This volume contains 24 selected and revised papers from an international seminar held in Dagstuhl, Germany, in 1993. The papers cover topics in the following areas: foundations of graph grammars and transformations; and applications of graph transformations to concurrent computing, specification and programming, and pattern generation and recognition. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Théorie des graphes | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Grammaires de graphes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ehrig, Hartmut, |d 1944- |4 pbd | |
| 776 | 0 | |0 018246044 |t Graph transformations in computer science |o international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 |o proceedings |f Hans Jürgen Schneider, Hartmut Ehrig, (eds.) |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (VIII-394 p.) |s Lecture notes in computer science |z 0-387-57787-4 | |
| 776 | 0 | |t Graph Transformations in Computer Science |b Texte imprimé |z 9783662164150 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57787-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-J0BWQH6C-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747909962 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57787-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750922834 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57787-4 |z Accès INSA CVL | |
| 997 | |0 945500 |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/ | ||