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 条

[1] Term Graph Rewriting and Parallel Term Rewriting
Corradini, Andrea
Drewes, Frank
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 3 - 18
[2] TERM GRAPH REWRITING
BARENDREGT, HP
VANEEKELEN, MCJD
GLAUERT, JRW
KENNAWAY, JR
PLASMEIJER, MJ
SLEEP, MR
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 141 - 158
[3] Term graph rewriting
Klop, JW
HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 1 - 16
[4] Termination of Graph and Term Graph Rewriting
Koenig, Barbara
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (225): : 2 - 2
[5] Concurrent graph and term graph rewriting
Corradini, Andrea
Lecture Notes in Computer Science, 1119
[6] ON THE ADEQUACY OF GRAPH REWRITING FOR STIMULATING TERM REWRITING
KENNAWAY, JR
KLOP, JW
SLEEP, MR
DEVRIES, FJ
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 493 - 523
[7] Implementing conditional term rewriting by graph rewriting
Ohlebusch, E
THEORETICAL COMPUTER SCIENCE, 2001, 262 (1-2) : 311 - 331
[8] Term graph rewriting for the π-calculus
Gadducci, F
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 37 - 54
[9] Transitive term graph rewriting
Banach, R
INFORMATION PROCESSING LETTERS, 1996, 60 (03) : 109 - 114
[10] Bisimilarity in term graph rewriting
Ariola, ZM
Klop, JW
Plump, D
INFORMATION AND COMPUTATION, 2000, 156 (1-2) : 2 - 24