Graph transformation = 14th Internat...
ICGT (Conference) (2021 :)

FindBook      Google Book      Amazon      博客來     
  • 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 /
    其他題名: ICGT 2021
    其他作者: Gadducci, Fabio.
    團體作者: ICGT (Conference)
    出版者: Cham :Springer International Publishing : : 2021.,
    面頁冊數: xii, 303 p. :ill. (some col.), digital ;24 cm.
    內容註: 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.
    Contained By: Springer Nature eBook
    標題: Graph theory - Congresses. - Data processing -
    電子資源: https://doi.org/10.1007/978-3-030-78946-6
    ISBN: 9783030789466
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9405425 電子資源 11.線上閱覽_V 電子書 EB QA166 .I24 2021 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入