語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Graph Transformation = 14th Internat...
~
SpringerLink (Online service)
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Graph Transformation/ edited by Fabio Gadducci, Timo Kehrer.
其他題名:
14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
其他作者:
Kehrer, Timo.
面頁冊數:
XII, 303 p. 64 illus., 10 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Programming Techniques. -
電子資源:
https://doi.org/10.1007/978-3-030-78946-6
ISBN:
9783030789466
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
Graph Transformation
14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /[electronic resource] :edited by Fabio Gadducci, Timo Kehrer. - 1st ed. 2021. - XII, 303 p. 64 illus., 10 illus. in color.online resource. - Theoretical Computer Science and General Issues,127412512-2029 ;. - Theoretical Computer Science and General Issues,12865.
Theoretical Advances -- Concurrency Theorems for Non-linear Rewriting Theories -- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting -- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors -- Graph Rewriting and Relabeling with PBPO+ -- Incorrectness Logic for Graph Programs -- Powerful and NP-Complete: Hypergraph Lambek Grammars -- Evaluation Diversity for Graph Conditions -- Application Domains -- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching -- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars -- Nets with Mana: A Framework for Chemical Reaction Modelling -- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles -- Interval Probabilistic Timed Graph Transformation Systems -- Verifying Graph Programs with Monadic Second-Order Logic -- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems -- Tool Presentations -- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars -- GrapePress - A Computational Notebook for Graph Transformations.
This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.
ISBN: 9783030789466
Standard No.: 10.1007/978-3-030-78946-6doiSubjects--Topical Terms:
669781
Programming Techniques.
LC Class. No.: QA76.9.M35
Dewey Class. No.: 004.0151
Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
LDR
:03145nam a22004455i 4500
001
1059346
003
DE-He213
005
20220222185803.0
007
cr nn 008mamaa
008
220414s2021 sz | s |||| 0|eng d
020
$a
9783030789466
$9
978-3-030-78946-6
024
7
$a
10.1007/978-3-030-78946-6
$2
doi
035
$a
978-3-030-78946-6
050
4
$a
QA76.9.M35
050
4
$a
QA297.4
072
7
$a
UYAM
$2
bicssc
072
7
$a
PBD
$2
bicssc
072
7
$a
COM018000
$2
bisacsh
072
7
$a
UYAM
$2
thema
072
7
$a
PBD
$2
thema
082
0 4
$a
004.0151
$2
23
245
1 0
$a
Graph Transformation
$h
[electronic resource] :
$b
14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings /
$c
edited by Fabio Gadducci, Timo Kehrer.
250
$a
1st ed. 2021.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
XII, 303 p. 64 illus., 10 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Theoretical Computer Science and General Issues,
$x
2512-2029 ;
$v
12741
505
0
$a
Theoretical Advances -- Concurrency Theorems for Non-linear Rewriting Theories -- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting -- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors -- Graph Rewriting and Relabeling with PBPO+ -- Incorrectness Logic for Graph Programs -- Powerful and NP-Complete: Hypergraph Lambek Grammars -- Evaluation Diversity for Graph Conditions -- Application Domains -- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching -- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars -- Nets with Mana: A Framework for Chemical Reaction Modelling -- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles -- Interval Probabilistic Timed Graph Transformation Systems -- Verifying Graph Programs with Monadic Second-Order Logic -- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems -- Tool Presentations -- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars -- GrapePress - A Computational Notebook for Graph Transformations.
520
$a
This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.
650
2 4
$a
Programming Techniques.
$3
669781
650
2 4
$a
Data Structures and Information Theory.
$3
1211601
650
2 4
$a
Design and Analysis of Algorithms.
$3
1365721
650
2 4
$a
Computer Graphics.
$3
669895
650
1 4
$a
Discrete Mathematics in Computer Science.
$3
670123
650
0
$a
Computer programming.
$3
527822
650
0
$a
Information theory.
$3
595305
650
0
$a
Data structures (Computer science).
$3
680370
650
0
$a
Algorithms.
$3
527865
650
0
$a
Computer graphics.
$3
561602
650
0
$a
Discrete mathematics.
$3
1254302
650
0
$a
Computer science—Mathematics.
$3
1253519
700
1
$a
Kehrer, Timo.
$e
editor.
$1
https://orcid.org/0000-0002-2582-5557
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1315942
700
1
$a
Gadducci, Fabio.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1114523
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030789459
776
0 8
$i
Printed edition:
$z
9783030789473
830
0
$a
Theoretical Computer Science and General Issues,
$x
2512-2029 ;
$v
12865
$3
1365719
856
4 0
$u
https://doi.org/10.1007/978-3-030-78946-6
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
912
$a
ZDB-2-LNC
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入