Cargando…
Handbook of graph grammars and computing by graph transformation. Volume 1, Foundations /
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas it includes software sp...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; New Jersey :
World Scientific,
©1997.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm52639390 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 030718s1997 si a obf 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d OCLCF |d OCLCO |d NLGGC |d OCLCQ |d IDEBK |d OCL |d OCLCQ |d VTS |d STF |d M8D |d LEAUB |d UMK |d OCLCO |d OCLCQ | ||
| 019 | |a 815742443 |a 1086507786 | ||
| 020 | |a 0585451435 |q (electronic bk.) | ||
| 020 | |a 9780585451435 |q (electronic bk.) | ||
| 020 | |a 1281869589 | ||
| 020 | |a 9781281869586 | ||
| 020 | |a 9789812384720 |q (electronic bk.) | ||
| 020 | |a 9812384723 | ||
| 020 | |z 9810228848 | ||
| 020 | |z 9789810228842 | ||
| 029 | 1 | |a DEBBG |b BV043106201 | |
| 029 | 1 | |a DEBSZ |b 422431613 | |
| 029 | 1 | |a GBVCP |b 801040035 | |
| 035 | |a (OCoLC)52639390 |z (OCoLC)815742443 |z (OCoLC)1086507786 | ||
| 050 | 4 | |a QA267.3 |b .H364 1997eb | |
| 072 | 7 | |a MAT |x 013000 |2 bisacsh | |
| 072 | 7 | |a MBNH |2 bicssc | |
| 082 | 0 | 4 | |a 511/.5 |2 21 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Handbook of graph grammars and computing by graph transformation. |n Volume 1, |p Foundations / |c edited by Grzegorz Rozenberg. |
| 246 | 3 | 0 | |a Foundations |
| 260 | |a Singapore ; |a New Jersey : |b World Scientific, |c ©1997. | ||
| 300 | |a 1 online resource (xv, 553 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 541-546) and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 1. Node replacement graph grammars / J. Engelfriet, G. Rozenberg -- 2. Hyperedge replacement graph grammars / F. Drewes, H.-J. Kreowski, A. Habel -- 3. Algebraic approaches to graph transformation -- part I: basic concepts and double pushout approach / A. Corradini [and others] -- 4. Algebraic approaches to graph transformation -- part II: single pushout approach and comparison with double pushout approach / H. Ehrig [and others] -- 5. The expression of graph properties and graph transformations in monadic second-order logic / B. Courcelle -- 6. 2-structures -- a framework for decomposition and transformation of graphs / A. Ehrenfeucht, T. Harju, G. Rozenberg -- 7. Programmed graph replacement systems / A. Schurr. | |
| 520 | |a Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact within the area of graph grammars, graph transformation is considered a fundamental programming paradigm where computation includes specification, programming, and implementation. Over the last 25-odd years graph grammars have developed at a steady pace into a theoretically attractive and well-motivated research field. In particular, they are now based on very solid foundations, which are presented in this volume. Volume 1 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures. The book has been written in a tutorial/survey style to enhance its usefulness. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Graph grammars |v Handbooks, manuals, etc. | |
| 650 | 0 | |a Graph theory |x Data processing. | |
| 650 | 6 | |a Grammaires de graphes |v Guides, manuels, etc. | |
| 650 | 7 | |a MATHEMATICS |x Graphic Methods. |2 bisacsh | |
| 650 | 7 | |a Graph grammars. |2 fast |0 (OCoLC)fst00946582 | |
| 650 | 7 | |a Graph theory |x Data processing. |2 fast |0 (OCoLC)fst00946587 | |
| 655 | 2 | |a Handbook | |
| 655 | 7 | |a Handbooks and manuals. |2 fast |0 (OCoLC)fst01423877 | |
| 655 | 7 | |a Handbooks and manuals. |2 lcgft | |
| 655 | 7 | |a Guides et manuels. |2 rvmgf | |
| 700 | 1 | |a Rozenberg, Grzegorz. | |
| 776 | 0 | 8 | |i Print version: |t Handbook of graph grammars and computing by graph transformation. Volume 1, Foundations. |d Singapore ; New Jersey : World Scientific, ©1997 |z 9810228848 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=82605 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 82605 | ||
| 994 | |a 92 |b IZTAP | ||