From Infinitary Term Rewriting to Cyclic Term Graph Rewriting and back

被引：0
|
作者：
Bahr, Patrick [1 ]
机构：
[1] Univ Copenhagen, Copenhagen, Denmark
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2011年 / 48期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [1] Convergence in infinitary term graph rewriting systems is simple
    Bahr, Patrick
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (08) : 1363 - 1414
  • [2] On modularity in infinitary term rewriting
    Simonsen, Jakob Grue
    [J]. INFORMATION AND COMPUTATION, 2006, 204 (06) : 957 - 988
  • [3] Term Graph Rewriting and Parallel Term Rewriting
    Corradini, Andrea
    Drewes, Frank
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 3 - 18
  • [4] PARTIAL ORDER INFINITARY TERM REWRITING
    Bahr, Patrick
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (02)
  • [5] Termination and confluence in infinitary term rewriting
    Rodenburg, PH
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (04) : 1286 - 1296
  • [6] On the modularity of confluence in infinitary term rewriting
    Simonsen, JG
    [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2004, 3091 : 185 - 199
  • [7] Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
    Bahr, Patrick
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (110): : 17 - 28
  • [8] TERM GRAPH REWRITING
    BARENDREGT, HP
    VANEEKELEN, MCJD
    GLAUERT, JRW
    KENNAWAY, JR
    PLASMEIJER, MJ
    SLEEP, MR
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 141 - 158
  • [9] Term graph rewriting
    Klop, JW
    [J]. HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 1 - 16
  • [10] From Linear Term Rewriting to Graph Rewriting with Preservation of Termination
    Overbeek, Roy
    Endrullis, Jorg
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 19 - 34
12345