Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer International Publishing
2015
|
| Series: | Lecture Notes in Computer Science
9151 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XIV, 283 S.) Ill., graph. Darst. |
| ISBN: | 9783319211459 9783319211442 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-21145-9 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730388 | ||
| 003 | DE-604 | ||
| 005 | 20150806 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319211459 |c Online |9 978-3-319-21145-9 | ||
| 020 | |a 9783319211442 |c Print |9 978-3-319-21144-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-21145-9 |2 doi | |
| 035 | |a (OCoLC)915864552 | ||
| 035 | |a (DE-599)BVBBV042730388 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a MAT 055f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 537f |2 stub | ||
| 245 | 1 | 0 | |a Graph Transformation |b 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings |c edited by Francesco Parisi-Presicce, Bernhard Westfechtel |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XIV, 283 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9151 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Data Structures | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Hypergraph |0 (DE-588)4161063-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Graph-Grammatik |0 (DE-588)4132847-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z York |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Aquila |2 gnd-content | |
| 689 | 0 | 0 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Graph-Grammatik |0 (DE-588)4132847-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Hypergraph |0 (DE-588)4161063-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Parisi-Presicce, Francesco |e Sonstige |0 (DE-588)112508537 |4 oth | |
| 711 | 2 | |a ICGT |n 8. |d 2015 |c L'Aquila |j Sonstige |0 (DE-588)1075017831 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9151 |w (DE-604)BV014880109 |9 9151 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-21145-9 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161419&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161419&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028161419 | ||
Record in the Search Index
| _version_ | 1804174941983080448 |
|---|---|
| adam_text | GRAPH TRANSFORMATION
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
POLYMORPHIC SESQUI-PUSHOUT GRAPH REWRITING
PREDICTIVE TOP-DOWN PARSING FOR HYPEREDGE REPLACEMENT GRAMMARS
AGREE – ALGEBRAIC GRAPH REWRITING WITH CONTROLLED EMBEDDING
PROVING TERMINATION OF GRAPH TRANSFORMATION SYSTEMS USING WEIGHTED TYPE
GRAPHS OVER SEMIRINGS
TOWARDS LOCAL CONFLUENCE ANALYSIS FOR AMALGAMATED GRAPH TRANSFORMATION
MULTI-AMALGAMATED TRIPLE GRAPH GRAMMARS
RECONFIGURABLE PETRI NETS WITH TRANSITION PRIORITIES AND INHIBITOR ARCS
REACHABILITY IN GRAPH TRANSFORMATION SYSTEMS AND SLICE LANGUAGES
EQUATIONAL REASONING WITH CONTEXT-FREE FAMILIES OF STRING DIAGRAMS
TRANSLATING ESSENTIAL OCL INVARIANTS TO NESTED GRAPH CONSTRAINTS
FOCUSING ON SET OPERATIONS
CHARACTERIZING CONFLICTS BETWEEN RULE APPLICATION AND RULE EVOLUTION IN
GRAPH TRANSFORMATION SYSTEMS
GRAPH PATTERN MATCHING AS AN EMBEDDED CLOJURE DSL
USING GRAPH TRANSFORMATIONS FOR FORMALIZING PRESCRIPTIONS AND MONITORING
TOWARDS COMPLIANCE VERIFICATION BETWEEN GLOBAL AND LOCAL PROCESS MODELS
INDUCTIVE INVARIANT CHECKING WITH PARTIAL NEGATIVE APPLICATION
CONDITIONS
TOOL SUPPORT FOR MULTI-AMALGAMATED TRIPLE GRAPH GRAMMARS
UNCOVER: USING COVERABILITY ANALYSIS FOR VERIFYING GRAPH TRANSFORMATION
SYSTEMS
LOCAL SEARCH-BASED PATTERN MATCHING FEATURES IN EMF-INCQUERY.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
GRAPH TRANSFORMATION
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 8TH INTERNATIONAL
CONFERENCE ON GRAPH TRANSFORMATIONS, ICGT 2015, HELD IN L AQUILA, ITALY,
IN JULY 2015. THE 15 FULL PAPERS PRESENTED TOGETHER WITH 3 SHORT PAPERS
AND 1 KEYNOTE WERE CAREFULLY REVIEWED AND SELECTED FROM 27 SUBMISSIONS.
THE PAPERS ARE ORGANIZED IN TOPICAL SECTIONS ON FOUNDATIONS;
APPLICATIONS: TECHNICAL PAPERS, AND TOOL PRESENTATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)112508537 |
| building | Verbundindex |
| bvnumber | BV042730388 |
| classification_tum | MAT 055f DAT 000 DAT 537f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915864552 (DE-599)BVBBV042730388 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-319-21145-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03402nmm a2200745zcb4500</leader><controlfield tag="001">BV042730388</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150806 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319211459</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21145-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319211442</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21144-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21145-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915864552</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730388</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 055f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 537f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Graph Transformation</subfield><subfield code="b">8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings</subfield><subfield code="c">edited by Francesco Parisi-Presicce, Bernhard Westfechtel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 283 S.)</subfield><subfield code="b">Ill., graph. Darst.</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9151</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hypergraph</subfield><subfield code="0">(DE-588)4161063-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">York</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Aquila</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Hypergraph</subfield><subfield code="0">(DE-588)4161063-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Parisi-Presicce, Francesco</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112508537</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICGT</subfield><subfield code="n">8.</subfield><subfield code="d">2015</subfield><subfield code="c">L'Aquila</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1075017831</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9151</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9151</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21145-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028161419&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028161419&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028161419</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 York gnd-content (DE-588)1071861417 Konferenzschrift 2015 Aquila gnd-content |
| genre_facet | Konferenzschrift 2014 York Konferenzschrift 2015 Aquila |
| id | DE-604.BV042730388 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1075017831 |
| isbn | 9783319211459 9783319211442 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161419 |
| oclc_num | 915864552 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIV, 283 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings edited by Francesco Parisi-Presicce, Bernhard Westfechtel Cham Springer International Publishing 2015 1 Online-Ressource (XIV, 283 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9151 0302-9743 Computer science Software engineering Data structures (Computer science) Computer software Logic design Computational complexity Computer Science Discrete Mathematics in Computer Science Software Engineering Data Structures Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Informatik Hypergraph (DE-588)4161063-5 gnd rswk-swf Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 York gnd-content (DE-588)1071861417 Konferenzschrift 2015 Aquila gnd-content Graphersetzungssystem (DE-588)4274073-3 s DE-604 Graph-Grammatik (DE-588)4132847-4 s Hypergraph (DE-588)4161063-5 s Parisi-Presicce, Francesco Sonstige (DE-588)112508537 oth ICGT 8. 2015 L'Aquila Sonstige (DE-588)1075017831 oth Lecture Notes in Computer Science 9151 (DE-604)BV014880109 9151 https://doi.org/10.1007/978-3-319-21145-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161419&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161419&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings Lecture Notes in Computer Science Computer science Software engineering Data structures (Computer science) Computer software Logic design Computational complexity Computer Science Discrete Mathematics in Computer Science Software Engineering Data Structures Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Informatik Hypergraph (DE-588)4161063-5 gnd Graphersetzungssystem (DE-588)4274073-3 gnd Graph-Grammatik (DE-588)4132847-4 gnd |
| subject_GND | (DE-588)4161063-5 (DE-588)4274073-3 (DE-588)4132847-4 (DE-588)1071861417 |
| title | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings |
| title_auth | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings |
| title_exact_search | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings |
| title_full | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings edited by Francesco Parisi-Presicce, Bernhard Westfechtel |
| title_fullStr | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings edited by Francesco Parisi-Presicce, Bernhard Westfechtel |
| title_full_unstemmed | Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings edited by Francesco Parisi-Presicce, Bernhard Westfechtel |
| title_short | Graph Transformation |
| title_sort | graph transformation 8th international conference icgt 2015 held as part of staf 2015 l aquila italy july 21 23 2015 proceedings |
| title_sub | 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings |
| topic | Computer science Software engineering Data structures (Computer science) Computer software Logic design Computational complexity Computer Science Discrete Mathematics in Computer Science Software Engineering Data Structures Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Informatik Hypergraph (DE-588)4161063-5 gnd Graphersetzungssystem (DE-588)4274073-3 gnd Graph-Grammatik (DE-588)4132847-4 gnd |
| topic_facet | Computer science Software engineering Data structures (Computer science) Computer software Logic design Computational complexity Computer Science Discrete Mathematics in Computer Science Software Engineering Data Structures Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Informatik Hypergraph Graphersetzungssystem Graph-Grammatik Konferenzschrift 2014 York Konferenzschrift 2015 Aquila |
| url | https://doi.org/10.1007/978-3-319-21145-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161419&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161419&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT parisipresiccefrancesco graphtransformation8thinternationalconferenceicgt2015heldaspartofstaf2015laquilaitalyjuly21232015proceedings AT icgtlaquila graphtransformation8thinternationalconferenceicgt2015heldaspartofstaf2015laquilaitalyjuly21232015proceedings |