61,55 €
Versandkostenfrei per Post / DHL
Lieferzeit 2-3 Werktage ab Escheinungsdatum. Dieses Produkt erscheint am 02.09.2026
The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the understanding of conflict analysis and parallel transformations, verification of graph transformation and of programs using graphs, and advancements in graphs for neural applications and stochastic rewriting.
The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the understanding of conflict analysis and parallel transformations, verification of graph transformation and of programs using graphs, and advancements in graphs for neural applications and stochastic rewriting.
.- Technical Papers.
.- LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach.
.- Conditional Borrowing Hyperedge Replacement.
.- Higher-order Graph Transformation Utilizing Diagram Categories.
.- Parallel Transformations as Colimits.
.- Conflict Essences for Transformation Rules with Nested Application Conditions.
.- Formalising and Verifying Graph Programs with Higher-Order Logic.
.- Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars.
.- CGACell: A Cellular Automata-Based Graph Transformation Framework for Neural Pooling.
.- From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems.
.- Tool and Vision Papers.
.- GHL: An Extensible Library for Flexible and Performant Graph Pattern Matching and Rewriting.
.- EvolveGDB: Model-Driven Graph Schema Transformation.
.- User-defined Operations in GROOVE.
.- Benchmark First: Defining Tasks for Graph Transformation Learning.
| Erscheinungsjahr: | 2026 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | Lecture Notes in Computer Science |
| Inhalt: |
x
235 S. 27 s/w Illustr. 29 farbige Illustr. 235 p. 56 illus. 29 illus. in color. |
| ISBN-13: | 9783032297297 |
| ISBN-10: | 303229729X |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Redaktion: |
Archibald, Blair
Semeráth, Oszkár |
| Herausgeber: | Blair Archibald/Oszkár Semeráth |
| Hersteller: |
Springer
Lecture Notes in Computer Science |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 14 mm |
| Von/Mit: | Blair Archibald (u. a.) |
| Erscheinungsdatum: | 02.09.2026 |
| Gewicht: | 0,382 kg |