ON PROVING UNIFORM TERMINATION AND RESTRICTED TERMINATION OF REWRITING-SYSTEMS

被引：27

作者：

GUTTAG, JV ^{[1
]}

KAPUR, D ^{[1
]}

MUSSER, DR ^{[1
]}

机构：

[1] GE,CORP RES & DEV,SCHENECTADY,NY 12301

来源：

SIAM JOURNAL ON COMPUTING | 1983年 / 12卷 / 01期

关键词：

D O I：

10.1137/0212012

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：189 / 214

页数：26

共 50 条

[31] PROOFS OF TERMINATION OF REWRITING-SYSTEMS BASED ON INTERPRETATION OF POLYNOMIALS - A METHOD BASED ON STURMS THEOREM
ROUYER, J
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (02): : 157 - 169
[32] Polynomials for proving termination of context-sensitive rewriting
Lucas, S
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2004, 2987 : 318 - 332
[33] Revisiting Matrix Interpretations for Proving Termination of Term Rewriting
Neurauter, Friedrich
Middeldorp, Aart
22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 251 - 266
[34] Proving termination of context-sensitive rewriting by transformation
Lucas, Salvador
INFORMATION AND COMPUTATION, 2006, 204 (12) : 1782 - 1846
[35] Certification of proving termination of term rewriting by matrix interpretations
Koprowski, Adam
Zantema, Hans
SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2008, 4910 : 328 - 339
[36] TERMINATION FOR THE DIRECT SUM OF LEFT-LINEAR TERM REWRITING-SYSTEMS - PRELIMINARY DRAFT
TOYAMA, Y
KLOP, JW
BARENDREGT, HP
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 477 - 491
[37] MODULAR TERMINATION OF R-CONSISTENT AND LEFT-LINEAR TERM REWRITING-SYSTEMS
SCHMIDTSCHAUSS, M
MARCHIORI, M
PANITZ, SE
THEORETICAL COMPUTER SCIENCE, 1995, 149 (02) : 361 - 374
[38] PROVING INDUCTIVE THEOREMS BASED ON TERM REWRITING-SYSTEMS
HOFBAUER, D
KUTSCHE, RD
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 180 - 190
[39] On proving termination by innermost termination
Gramlich, B
REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 93 - 107
[40] PETRIREVE - PROVING PETRI NET PROPERTIES WITH REWRITING-SYSTEMS
CHOPPY, C
JOHNEN, C
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 271 - 286

← 1 2 3 4 5 →