Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 1073
- ISBN:
- 9783540683889 [3540683887]
- 注記:
- 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 e
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. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
