CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS ARE STRONGLY SEQUENTIAL - A DIRECT PROOF

被引：1

|

作者：

DURAND, I

SALINIER, B

机构：

[1] LaBRI, Université de Bordeaux I, F-33405 Talence Cedex, 351, Cours de la Libération

来源：

INFORMATION PROCESSING LETTERS | 1994年 / 52卷 / 03期

关键词：

TERM-REWRITING; STRONG SEQUENTIALITY; CONSTRUCTOR SYSTEMS; PROGRAMMING LANGUAGES;

D O I：

10.1016/0020-0190(94)00122-7

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

收藏

页码：137 / 145

页数：9

相关论文

共 50 条

[1] CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS
DURAND, I
SALINIER, B
[J]. INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 131 - 137
[2] BOUNDED, STRONGLY SEQUENTIAL AND FORWARD-BRANCHING TERM REWRITING-SYSTEMS
DURAND, I
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1994, 18 (04) : 319 - 352
[3] ENUMERATING OUTER NARROWING DERIVATIONS FOR CONSTRUCTOR-BASED TERM REWRITING-SYSTEMS
YOU, JH
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1989, 7 (3-4) : 319 - 341
[4] Strongly sequential and inductively sequential term rewriting systems
Hanus, M
Lucas, S
Middeldorp, A
[J]. INFORMATION PROCESSING LETTERS, 1998, 67 (01) : 1 - 8
[5] COUNTEREXAMPLES TO TERMINATION FOR THE DIRECT SUM OF TERM REWRITING-SYSTEMS
TOYAMA, Y
[J]. INFORMATION PROCESSING LETTERS, 1987, 25 (03) : 141 - 143
[6] TERM REWRITING-SYSTEMS AND ALGEBRA
LESCANNE, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 166 - 174
[7] TERM REWRITING-SYSTEMS WITH PRIORITIES
BAETEN, JCM
BERGSTRA, JA
KLOP, JW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 83 - 94
[8] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
HERMANN, M
KIRCHNER, C
KIRCHNER, H
[J]. COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
[9] EXTENDED TERM REWRITING-SYSTEMS
KLOP, JW
DEVRIJER, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
[10] FAIRNESS IN TERM REWRITING-SYSTEMS
PORAT, S
FRANCEZ, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300

← 1 2 3 4 5 →