共 50 条
- [1] Special Issue on Security and Rewriting Foreword [J]. Journal of Automated Reasoning, 2012, 48 : 133 - 134
- [2] Special Issue on Security and Rewriting Foreword [J]. JOURNAL OF AUTOMATED REASONING, 2012, 48 (02) : 133 - 134
- [5] Special issue: Type theory and term rewriting [J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (03) : 321 - 322
- [7] SPECIAL ISSUE - ADVANCES IN GRAPH LABELING - FOREWORD [J]. DISCRETE MATHEMATICS, 1991, 93 (2-3) : 111 - 113
- [10] Term Graph Rewriting and Parallel Term Rewriting [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 3 - 18