Inequational Deduction as Term Graph Rewriting

被引：0

作者：

Corradini, Andrea ^{[1
]}

Gadducci, Fabio ^{[1
]}

Kahl, Wolfram ^{[2
]}

König, Barbara ^{[3
]}

机构：

[1] Dipartimento di Informatica, Università di Pisa, Italy

[2] Department of Computing and Software, McMaster University, Canada

[3] Institut für Informatik, Technische Universität München, Germany

来源：

关键词：

11;

D O I：

10.1016/j.entcs.2002.09.004

中图分类号：

学科分类号：

摘要：

引用

页码：31 / 44

共 50 条

[41] Graph Rewriting for Graph Neural Networks
Machowczyk, Adam
Heckel, Reiko
GRAPH TRANSFORMATION, ICGT 2023, 2023, 13961 : 292 - 301
[42] Ambient Graph Rewriting
Cenciarelli, Pietro
Talamo, Ivano
Tiberi, Alessandro
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 335 - 351
[43] Patch Graph Rewriting
Overbeek, Roy
Endrullis, Jorg
GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 128 - 145
[44] Semantics-Preserving DPO-Based Term Graph Rewriting
Kahl, Wolfram
Zhao, Yuhang
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (288): : 26 - 37
[45] Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
Bahr, Patrick
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (110): : 17 - 28
[46] A framework for graph rewriting
Jouannaud, Jean-Pierre
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 289
[47] Graph rewriting for the π-calculus
Gadducci, Fabio
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2007, 17 (03) : 407 - 437
[48] Graph Rewriting Components
Heckel, Reiko
Corradini, Andrea
Gadducci, Fabio
GRAPH TRANSFORMATION, ICGT 2022, 2022, : 20 - 37
[49] A Framework for Graph Rewriting
Jouannaud, Jean-Pierre
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (289):
[50] On termination of graph rewriting
Plump, D
GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 1995, 1017 : 88 - 100