Handbook of graph grammars and computing by graph transformation: 2 Applications, languages and tools
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore [u.a.]
World Scientific
1999
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIX, 698 S. graph. Darst. 1 CD-ROM (12 cm) |
| ISBN: | 9810240201 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV013439346 | ||
| 003 | DE-604 | ||
| 005 | 20031110 | ||
| 007 | t | ||
| 008 | 001116s1999 d||| |||| 00||| eng d | ||
| 020 | |a 9810240201 |9 981-02-4020-1 | ||
| 035 | |a (OCoLC)264609378 | ||
| 035 | |a (DE-599)BVBBV013439346 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-739 |a DE-384 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-473 |a DE-91G | ||
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 245 | 1 | 0 | |a Handbook of graph grammars and computing by graph transformation |n 2 |p Applications, languages and tools |c ed. by Grzegorz Rozenberg |
| 264 | 1 | |a Singapore [u.a.] |b World Scientific |c 1999 | |
| 300 | |a XIX, 698 S. |b graph. Darst. |e 1 CD-ROM (12 cm) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Graphentheorie |0 (DE-588)4113782-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Graphentheorie |0 (DE-588)4113782-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rozenberg, Grzegorz |d 1942- |e Sonstige |0 (DE-588)1079124624 |4 oth | |
| 700 | 1 | |a Ehrig, Hartmut |d 1944-2016 |e Sonstige |0 (DE-588)107905582 |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV011464853 |g 2 |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009172532&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009172532 | |
Datensatz im Suchindex
| _version_ | 1810687286981951488 |
|---|---|
| adam_text |
I, _ _ I*. APPLICATIONS, LANGUAGES AND TOOLS VOLUME 2 HANDBOOK OF GRAPH
GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION EDITED BY H EHRIG
TECHNICAL UNIVERSITY OF BERLIN, GERMANY G ENGELS UNIVERSITY OF
PADERBORN, GERMANY H-J KREOWSKI UNIVERSITY OF BREMEN, GERMANY G
ROZENBERG LEIDEN UNIVERSITY, THE NETHERLANDS WORLD SCIENTIFIC SINGAPORE
'NEW JERSEY LONDON 'HONG KONG CONTENTS I TERM REWRITING AND FUNCTIONAL
LANGUAGES 1 1 TERM GRAPH REWRITING 3 (D. PLUMP) 1.1 INTRODUCTION 4 1.2
ABSTRACT REDUCTION SYSTEMS 5 1.3 TERM GRAPHS 9 1.3.1 FROM HYPERGRAPHS TO
TERM GRAPHS 9 1.3.2 COLLAPSING, COPYING AND BISIMILARITY 12 1.3.3
BIBLIOGRAPHIC NOTES 15 1.4 TERM GRAPH REWRITING 15 1.4.1 TERM REWRITING
15 1.4.2 TERM GRAPH REWRITING 17 1.4.3 INCORPORATING COLLAPSING AND
COPYING 20 1.4.4 BIBLIOGRAPHIC NOTES 23 1.5 COMPLETENESS 23 1.5.1
SIMULATING ARBITRARY TERM REWRITE DERIVATIONS . 24 1.5.2
GRAPH-REDUCIBILITY 27 1.5.3 BIBLIOGRAPHIC NOTES 29 1.6 TERMINATION 29
1.6.1 THE RELATION TO TERM REWRITING 29 1.6.2 COMBINED SYSTEMS 31 1.6.3
A RECURSIVE PATH ORDER ON TERM GRAPHS 34 1.7 CONFLUENCE 37 1.7.1 THE
RELATION TO TERM REWRITING 38 1.7.2 DECIDABILITY AND COMBINED SYSTEMS 41
1.7.3 PLAIN TERM GRAPH REWRITING AND CONFLUENCE MODULO BISIMILARITY 43
1.8 TERM GRAPH NARROWING 45 1.8.1 TERM GRAPH NARROWING 45 1.8.2
MINIMALLY AND MAXIMALLY COLLAPSING NARROWING . 49 1.8.3 BIBLIOGRAPHIC
NOTES 52 1.9 FURTHER TOPICS 53 REFERENCES 54 2 GRAPH REWRITING ASPECTS
OF FUNCTIONAL PROGRAMMING 63 (E. BARENDSEN, S. SMETSERS) 2.1
INTRODUCTION 64 IX CONTENTS 2.2 TERM GRAPHS ,. 65 2.3 GRAPH REWRITING 67
2.3.1 GRAPH REWRITING IN PRACTICE 72 2.4 COPYING 72 2.4.1 COPYING IN
PRACTICE 75 2.5 OPERATIONAL SEMANTICS 77 2.5.1 REDUCTION STRATEGIES 77
2.5.2 GRAPH SYNTAX 80 2.5.3 OPERATIONAL SEMANTICS 82 2.5.4 TRANSLATING
REWRITE SYSTEMS 86 2.6 TYPING SYSTEMS 89 2.6.1 STANDARD TYPING 89 2.6.2
STRICTNESS ANALYSIS 93 2.6.3 RECURSIVE DATA TYPES 97 2.6.4 STRICTNESS
ANALYSIS IN PRACTICE 99 REFERENCES 100 II VISUAL AND OBJECT-ORIENTED
LANGUAGES 103 3 APPLICATION OF GRAPH TRANSFORMATION TO VISUAL LANGUAGES
105 (R. BARDOHL, M. MINAS, A. SCHIIRR, G. TAENTZER) 3.1 INTRODUCTION 107
3.2 VISUAL LANGUAGES AND ENVIRONMENTS 108 3.3 DEFINING THE SYNTAX OF
VISUAL LANGUAGES 117 3.3.1 CONCRETE AND ABSTRACT SYNTAX OF VISUAL
LANGUAGES . 117 3.3.2 GRAPH GRAMMARS 120 3.3.3 HYPERGRAPH REPRESENTATION
OF VISUAL SENTENCES . . . 122 3.3.4 GRAPH STRUCTURE REPRESENTATION OF
VISUAL SENTENCES 129 3.4 GENERATING VISUAL LANGUAGE EDITORS 135 3.4.1
VISUAL EDITING MODES 135 3.4.2 GENGED 138 3.4.3 DIAGEN 144 3.5
GENERATING VISUAL LANGUAGE PARSERS 150 3.5.1 THE VISUAL LANGUAGE PARSING
PROBLEM 150 3.5.2 PARSING FOR CONTEXT-FREE HYPERGRAPH GRAMMARS . . . 154
3.5.3 PARSING FOR CONTEXT-FREE HYPERGRAPH GRAMMARS WITH EMBEDDINGS 156
3.5.4 PARSING FOR LAYERED GRAPH GRAMMARS 158 3.6 VISUAL GRAPH
TRANSFORMATION LANGUAGES 161 CONTENTS XI 3.6.1 THE GRAPH TRANSFORMATION
LANGUAGE PROGRES . . 161 3.6.2 THE GRAPH TRANSFORMATION LANGUAGE AGG 163
3.6.3 COMPARISON OF GRAPH TRANSFORMATION LANGUAGES . . . 165 3.7
CONCLUSIONS 171 REFERENCES 172 4 SEMANTICS OF OBJECT-ORIENTED LANGUAGES
181 (A. WAGNER, M. GOGOLLA) 4.1 INTRODUCTION 182 4.2 DRAFTING TROLL
LIGHT CONCEPTS 183 4.3 OTHER REPRESENTATIONS OF TROLL LIGHT DESCRIPTIONS
185 4.3.1 REPRESENTING TROLL LIGHT DESCRIPTIONS WITH UML . 185 4.3.2 AN
ALGEBRAIC VERSION OF TROLL LIGHT DESCRIPTIONS . 186 4.3.3 RELATING TROLL
LIGHT, UML AND THE ALGEBRAIC VERSION 188 4.4 ABSTRACT SYNTAX OF TROLL
LIGHT 190 4.5 OPERATIONAL SEMANTICS FOR TROLL LIGHT 194 4.6 CONCLUSION
201 REFERENCES 202 APPENDIX 204 4.A COMPLETE SPECIFICATION 204 4.A.1
CUSTOMER TEMPLATE 204 4.A.2 CAR TEMPLATE 204 4.A.3 BOOKING TEMPLATE 205
4.A.4 COMPANY TEMPLATE 206 4.B BASIC GRAPH TRANSFORMATION DEFINITIONS
209 III APPLICATIONS TO SOFTWARE ENGINEERING 213 5 IPSEN TOOLS 215 (P.
KLEIN, M. NAGL, A. SCHIIRR) 5.1 INTRODUCTION 217 5.2 RELATED WORK 220
5.3 THE IPSEN META ENVIRONMENT: AN OVERVIEW 221 5.4 THE IPSEN
ARCHITECTURE 224 5.5 GENERATING CONTEXT-FREE EDITORS 227 5.5.1
SPECIFYING CONTEXT-FREE SYNTAX 228 5.5.2 THE GENERATION MACHINERY FOR
CONTEXT-FREE EDITORS . 230 5.6 SPECIFYING AND GENERATING ENVIRONMENTS
232 5.6.1 MODELING THE SYNTAX OF LOGICAL DOCUMENTS 233 5.6.2 REFINING
THE SPECIFICATION 239 XII ,, CONTENTS 5.6.3 FROM EBNF TO PROGRE§ 244
5.6.4 MODELING THE SEMANTICS OF LOGICAL DOCUMENTS . . . . 246 5.6.5 FROM
PROGRES TO AN IMPLEMENTATION 253 5.6.6 THE INTERNAL STRUCTURE OF LOGICAL
DOCUMENTS 260 5.7 SUMMARY 263 REFERENCES 264 6 APPLYING GRAPH
TRANSFORMATIONS TO DATABASE RE-ENGINEER- ING 267 (J. H. JAHNKE, A.
ZIINDORF) 6.1 INTRODUCTION 268 6.2 A DATABASE RE-ENGINEERING (DRE)
SAMPLE SCENARIO 270 6.3 MAPPING DATA MODELS WITH TRIPLE GRAPH GRAMMARS
272 6.4 SCHEMA REDESIGN TRANSFORMATION RULES 273 6.5 PROPERTIES OF
SCHEMA REDESIGN TRANSFORMATION RULES . 278 6.6 CONCLUSION AND RELATED
WORK 283 REFERENCES 284 7 SESAM: A HYBRID SIMULATION FORMALISM BASED ON
GRAPH GRAMMAR CONCEPTS 287 (K. SCHNEIDER) 7.1 INTRODUCTION 288 7.2
LEARNING THROUGH MODEL BUILDING AND EXPERIMENTATION . . . 289 7.2.1
STUDENTS' PROBLEMS WITH SOFTWARE ENGINEERING EDU- CATION 289 7.2.2
STIMULATING REFLECTION: SIMULATING SOFTWARE PROJECTS 290 7.2.3
EXPLORATORY MODELING 291 7.3 THE HYBRID SIMULATION FORMALISM 291 7.3.1
THE ENTITY RELATIONSHIP SCHEMA: MODELING THE UNI- VERSE OF DISCOURSE 292
7.3.2 SITUATION MODEL GRAPH 294 7.3.3 EFFECT MODELS CAPTURE DYNAMICS 294
7.3.4 INTEGRATING THE MODELS INTO A SIMULATION GAME RUN . 301 7.4
WORKING WITH THE MODELS 302 7.4.1 EXPERIENCE WITH THE SESAM SYSTEM 302
7.4.2 LESSONS LEARNED USING THE GRAPH GRAMMAR FORMALISM 303 7.5
CONCLUSIONS 304 REFERENCES 305 CONTENTS XIII 8 OPTIMIX -A TOOL FOR
REWRITING AND OPTIMIZING PROGRAMS 307 (U. ASSMANN) 8.1 INTRODUCTION 308
8.2 WHAT USERS CAN DO WITH OPTIMIX 309 8.3 AN INTRODUCTION TO OPTIMIX
SPECIFICATIONS 310 8.3.1 RULE GROUPS IN REWRITE PROCEDURES 311 8.3.2
TYPE-CHECKING RULES 312 8.3.3 TRANSFORMATION ACTIONS IN RULES 314 8.4
EXPERIENCES AND CONCLUSION 316 REFERENCES 317 APPENDIX 318 8.A THE USED
SUBSET OF CCMIR 318 IV APPLICATIONS TO ENGINEERING DISCIPLINES 319 9
GRAPH-BASED PRODUCT AND PROCESS MANAGEMENT IN MECHAN- ICAL ENGINEERING
321 (B. WESTFECHTEL) 9.1 INTRODUCTION 322 9.2 THE SUKITS PROJECT 324
9.2.1 MANAGEMENT SYSTEM 324 9.2.2 MANAGEMENT MODEL 326 9.3 MANAGEMENT
MODEL: INFORMAL DESCRIPTION 328 9.3.1 PRODUCT MANAGEMENT MODEL 328 9.3.2
PROCESS MANAGEMENT MODEL 333 9.4 MANAGEMENT MODEL: FORMAL SPECIFICATION
340 9.4.1 PRODUCT MANAGEMENT MODEL 340 9.4.2 PROCESS MANAGEMENT MODEL
351 9.4.3 MODEL ADAPTATION 361 9.5 CONCLUSION 364 REFERENCES 365 10
GRAPH TRANSFORMATION BASED INTEGRATION TOOLS: APPLICATION TO CHEMICAL
PROCESS ENGINEERING 369 (K. CREMER, S. GRUNER, M. NAGL) 10.1 DEVELOPMENT
PROCESSES AND CHANGES 371 10.2 INTEGRATORS FOR CHEMICAL ENGINEERING 374
10.3 AVAILABLE SUPPORT AND RELATED WORK 378 10.4 EXPERIENCE IN
INTEGRATOR CONSTRUCTION 380 10.5 INTEGRATOR SPECIFICATION WITH GRAPH
GRAMMARS 381 XIV CONTENTS 10.6 FROM SPECIFICATION TO IMPLEMENTATION 387
10.7 SUMMARY AND FUTURE WORK 390 REFERENCES 392 V APPLICATIONS TO
PICTURES 395 11 PICTURE GENERATION BY COLLAGE GRAMMARS 397 (F. DREWES,
H.-J. KREOWSKI) 11.1 INTRODUCTION 398 11.2 COLLAGE GRAMMARS 399 11.2.1
COLLAGES AND COLLAGE GRAMMARS 400 11.2.2 PROPER COLLAGE GRAMMARS 403
11.3 VARIATIONS AND EXTENSIONS 405 11.4 CONTEXT-FREENESS 410 11.4.1 THE
CONTEXT-FREENESS LEMMA 411 11.4.2 DERIVATION TREES 411 11.4.3
CONTEXT-FREE COLLAGE LANGUAGES AS FIXED POINTS . . . 412 11.5 NECESSARY
CONDITIONS FOR CONTEXT-FREENESS 413 11.5.1 THE NUMBER OF PARTS OF
COLLAGES 415 11.5.2 THE VOLUME OF PARTS OF COLLAGES 419 11.6
DECIDABILITY AND UNDEDDABILITY 422 11.6.1 THE DECIDABILITY OF COMPATIBLE
PROPERTIES 423 11.6.2 SOME COMPATIBLE PROPERTIES 424 11.6.3 GRID COLLAGE
GRAMMARS 427 11.6.4 UNDECIDABLE PROBLEMS 434 11.7 GENERATION OF
SELF-AFNNE FRACTALS 438 11.8 COMPARISON WITH OTHER METHODS OF PICTURE
GENERATION . . . 445 11.8.1 ITERATED FUNCTION SYSTEMS 445 11.8.2
CHAIN-CODE PICTURE LANGUAGES 448 11.9 SOFTWARE SYSTEMS 452 11.9.1
COLLAGE-ONE, COLLAGE-TWO, AND COLLAGE-VR . 452 11.9.2 THE BIZARR STUDIO
453 11.9.3 TREEBAG 453 11.10 CONCLUSION 453 REFERENCES 454 12 DERIVING
PRODUCTIONS FROM PRODUCTIONS WITH AN APPLICATION TO PICASSO'S GEUVRE 459
(H. GOTTLER) 12.1 INTRODUCTION*A PROBLEM FROM ART THEORY 461 CONSENTS XV
12.2 SOME IDEAS FOR A SOLUTION TO THE PROBLEM 465 12.3 OBJECT-ORIENTED
DATABASES AND GRAPH GRAMMARS 467 12.4 FROM GRAPH GRAMMARS TO TWO-LEVEL
GRAPH GRAMMARS* THE TECHNICAL BACKGROUND 471 12.5 CONCLUSIONS*DATABASE
DESIGN AND TWO-LEVEL GRAPH GRAM- MARS IN THE PICASSO PROJECT 477
REFERENCES 479 " APPENDIX 481 12.A FORMAL DEFINITION OF TWO-LEVEL GRAPH
REWRITING 481 VI IMPLEMENTED SPECIFICATION LANGUAGES AND TOOLS 485 13
THE PROGRES APPROACH: LANGUAGE AND ENVIRONMENT 487 (A. SCHTIRR, A. J.
WINTER, A. ZIINDORF) ' 13.1 INTRODUCTION 489 13.2 SPECIFICATION AND VHL
PROGRAMMING LANGUAGES 491 13.2.1 SEMIFORMAL MODELING AND FORMAL
SPECIFICATION LAN- GUAGES 491 13.2.2 VERY HIGH LEVEL QUERY AND
PROGRAMMING LANGUAGES 492 13.2.3 COMPILER COMPILER AND GRAPH
TRANSFORMATION (ME- TA) TOOLS 494 13.3 GRAPH SCHEMATA AND DERIVED GRAPH
PROPERTIES 495 13.3.1 THE RUNNING EXAMPLE AND DIANE GRAPHS 495 13.3.2
NODE CLASSES, NODE TYPES, AND EDGE TYPES 497 13.3.3 STANDARD ATTRIBUTE
TYPES AND FUNCTIONS 499 13.3.4 EXTERNAL ATTRIBUTE TYPES AND FUNCTIONS
500 13.3.5 INTRINSIC NODE ATTRIBUTES 501 13.3.6 DERIVED NODE ATTRIBUTES
AND CONSTRAINTS 503 13.4 GRAPH QUERIES AND GRAPH TRANSFORMATIONS 505
13.4.1 RESTRICTIONS AND PATH DECLARATIONS 505 13.4.2 SUBGRAPH TESTS AND
ATTRIBUTE CONDITIONS 508 13.4.3 PRODUCTIONS AND ATTRIBUTE ASSIGNMENTS
509 13.4.4 ADVANCED PATTERN MATCHING CONCEPTS 512 13.4.5 CONTROL
STRUCTURES AND TRANSACTIONS 515 13.4.6 CONSISTENCY CHECKING WITH
CONSTRAINTS 518 13.5 MODULES AND UPDATABLE GRAPH VIEWS 522 13.5.1
PROGRES PACKAGES 524 13.5.2 SPECIFICATION-IN-THE-LARGE WITH PACKAGES 527
13.5.3 GRAPHICAL MODELING WITH UPDATABLE GRAPH VIEWS . . 530 XVI *
CONTENTS 13.6 THE PROGRAMMING AND PROTOTYPING ENVIRONMENT 532 13.6.1
BASIC COMPONENTS AND THEIR INTERDEPENDENCIES . . . . 532 13.6.2 EDITING
AND ANALYZING SPECIFICATIONS 535 13.6.3 EXECUTING AND DEBUGGING
SPECIFICATIONS 538 13.6.4 PROTOTYPING 539 13.7 GRAPH GRAMMAR ENGINEERING
542 13.8 SUMMARY 544 REFERENCES 546 14 THE AGG APPROACH: LANGUAGE AND
ENVIRONMENT 551 (C. ERMEL, M. RUDOLF, G. TAENTZER) 14.1 INTRODUCTION 553
14.2 AGG LANGUAGE CONCEPTS 555 14.2.1 GRAPHS 555 14.2.2 ATTRIBUTES 557
14.2.3 GRAPH TRANSFORMATION 559 14.2.4 NEGATIVE APPLICATION CONDITIONS
566 14.3 SAMPLE APPLICATION: FINDING THE SHORTEST PATH 570 14.4 AGG
ENVIRONMENT 577 14.4.1 EDITING 577 14.4.2 INTERPRETATION AND DEBUGGING
584 14.4.3 IMPLEMENTATION ISSUES 589 14.5 FUTURE DEVELOPMENTS 593 14.5.1
ADVANCED ATTRIBUTION FEATURES 594 14.5.2 CONTROL FLOW AND STRUCTURING
594 14.5.3 DISTRIBUTION ISSUES 597 14.6 CONCLUSIONS 599 REFERENCES 601
VII STRUCTURING AND MODULARIZATION CONCEPTS 605 15 GRAPH TRANSFORMATION
UNITS AND MODULES 607 (H.-J. KREOWSKI, S. KUSKE) 15.1 INTRODUCTION 608
15.2 TRANSFORMATION UNITS 609 15.2.1 GRAPH TRANSFORMATION APPROACH 610
15.2.2 TRANSFORMATION UNITS 611 15.2.3 INTERLEAVING SEMANTICS 611 15.2.4
GRAPH CLASS EXPRESSIONS 613 15.2.5 CONTROL CONDITIONS 614 CONTENTS XVII
15.2.6 APPLICATION SEQUENCES 617 15.3 SHORTEST PATHS*AN EXAMPLE 618
15.3.1 INFORMAL DESCRIPTION OF THE ALGORITHM 619 *- 15.3.2 GRAPH
TRANSFORMATION APPROACH 619 15.3.3 SPECIFICATION OF THE ALGORITHM 620
15.3.4 GRAPHTHEORETIC BACKGROUND 622 15.3.5 CORRECTNESS 625 15.3.6
COMPLEXITY : 627 15.3.7 COMPLETING THE PROOF 629 15.4 TRANSFORMATION
MODULES 631 15.4.1 FORMAL PARAMETER UNITS AND MODULES 631 15.4.2
COMPOSITION OF MODULES 632 15.4.3 EXAMPLE 632 15.5 CONCLUSION 634
REFERENCES 635 16 A VIEW-BASED APPROACH TO SYSTEM MODELING BASED ON OPEN
GRAPH TRANSFORMATION SYSTEMS 639 (R. HECKEL, H. EHRIG, G. ENGELS, G.
TAENTZER) 16.1 INTRODUCTION 641 16.2 CONCEPT OF VIEWS AND VIEW
INTEGRATION 642 16.3 GRAPH TRANSFORMATION FOR SYSTEM MODELING 645 16.4
VIEWS OF OPEN GRAPH TRANSFORMATION SYSTEMS 653 16.5 INTEGRATION OF VIEWS
657 16.6 CONCLUSION 665 REFERENCES 667 17 CLASSIFICATION AND COMPARISON
OF MODULE CONCEPTS FOR GRAPH TRANSFORMATION SYSTEMS 669 (R. HECKEL, H.
EHRIG, G. ENGELS, G. TAENTZER) 17.1 INTRODUCTION 671 17.2 A SAMPLE
MODULAR SPECIFICATION 673 17.3 WHAT ARE THE BASIC SPECIFICATIONS? 678
17.4 WHICH RELATIONS BETWEEN SPECIFICATIONS ARE USED? 679 17.5 HOW ARE
SPECIFICATIONS AND RELATIONS COMBINED TO MODULE ARCHITECTURES? 682 17.6
SUMMARY 686 REFERENCES 687 INDEX 691 |
| any_adam_object | 1 |
| author_GND | (DE-588)1079124624 (DE-588)107905582 |
| building | Verbundindex |
| bvnumber | BV013439346 |
| classification_rvk | SK 890 ST 130 |
| ctrlnum | (OCoLC)264609378 (DE-599)BVBBV013439346 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV013439346</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031110</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">001116s1999 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810240201</subfield><subfield code="9">981-02-4020-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)264609378</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013439346</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of graph grammars and computing by graph transformation</subfield><subfield code="n">2</subfield><subfield code="p">Applications, languages and tools</subfield><subfield code="c">ed. by Grzegorz Rozenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore [u.a.]</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 698 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="e">1 CD-ROM (12 cm)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rozenberg, Grzegorz</subfield><subfield code="d">1942-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1079124624</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV011464853</subfield><subfield code="g">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009172532&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009172532</subfield></datafield></record></collection> |
| id | DE-604.BV013439346 |
| illustrated | Illustrated |
| indexdate | 2024-09-20T04:19:20Z |
| institution | BVB |
| isbn | 9810240201 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009172532 |
| oclc_num | 264609378 |
| open_access_boolean | |
| owner | DE-29T DE-739 DE-384 DE-706 DE-634 DE-83 DE-11 DE-473 DE-BY-UBG DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-739 DE-384 DE-706 DE-634 DE-83 DE-11 DE-473 DE-BY-UBG DE-91G DE-BY-TUM |
| physical | XIX, 698 S. graph. Darst. 1 CD-ROM (12 cm) |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Handbook of graph grammars and computing by graph transformation 2 Applications, languages and tools ed. by Grzegorz Rozenberg Singapore [u.a.] World Scientific 1999 XIX, 698 S. graph. Darst. 1 CD-ROM (12 cm) txt rdacontent n rdamedia nc rdacarrier Graphentheorie (DE-588)4113782-6 gnd rswk-swf Graphentheorie (DE-588)4113782-6 s DE-604 Rozenberg, Grzegorz 1942- Sonstige (DE-588)1079124624 oth Ehrig, Hartmut 1944-2016 Sonstige (DE-588)107905582 oth (DE-604)BV011464853 2 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009172532&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handbook of graph grammars and computing by graph transformation Graphentheorie (DE-588)4113782-6 gnd |
| subject_GND | (DE-588)4113782-6 |
| title | Handbook of graph grammars and computing by graph transformation |
| title_auth | Handbook of graph grammars and computing by graph transformation |
| title_exact_search | Handbook of graph grammars and computing by graph transformation |
| title_full | Handbook of graph grammars and computing by graph transformation 2 Applications, languages and tools ed. by Grzegorz Rozenberg |
| title_fullStr | Handbook of graph grammars and computing by graph transformation 2 Applications, languages and tools ed. by Grzegorz Rozenberg |
| title_full_unstemmed | Handbook of graph grammars and computing by graph transformation 2 Applications, languages and tools ed. by Grzegorz Rozenberg |
| title_short | Handbook of graph grammars and computing by graph transformation |
| title_sort | handbook of graph grammars and computing by graph transformation applications languages and tools |
| topic | Graphentheorie (DE-588)4113782-6 gnd |
| topic_facet | Graphentheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009172532&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011464853 |
| work_keys_str_mv | AT rozenberggrzegorz handbookofgraphgrammarsandcomputingbygraphtransformation2 AT ehrighartmut handbookofgraphgrammarsandcomputingbygraphtransformation2 |