共 50 条
- [43] A framework for graph rewriting Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 289
- [45] On termination of graph rewriting GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 1995, 1017 : 88 - 100
- [46] A Framework for Graph Rewriting ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (289):
- [48] Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (110): : 17 - 28
- [49] Call-by-value λ-graph rewriting without rewriting GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 75 - 89