共 50 条
- [41] Admissible graph rewriting and narrowing [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 325 - 340
- [42] Approximations for Stochastic Graph Rewriting [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 1 - 10
- [43] Incremental Update for Graph Rewriting [J]. PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 201 - 228
- [45] Complexity Analysis by Graph Rewriting [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 257 - 271
- [46] AN ALGEBRA OF GRAPHS AND GRAPH REWRITING [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 236 - 260
- [47] Aspect weaving with graph rewriting [J]. GENERATIVE AND COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, 1799 : 24 - 36
- [48] Stochastic mechanics of graph rewriting [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 46 - 55
- [49] From Linear Term Rewriting to Graph Rewriting with Preservation of Termination [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 19 - 34