TERM-REWRITING SYSTEMS WITH RULE PRIORITIES

被引：34

作者：

BAETEN, JCM

BERGSTRA, JA

KLOP, JW

WEIJLAND, WP

机构：

[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,3508 TB UTRECHT,NETHERLANDS

[2] FREE UNIV AMSTERDAM,DEPT COMP SCI,1007 MC AMSTERDAM,NETHERLANDS

[3] CTR MATH & COMP SCI,1009 AB AMSTERDAM,NETHERLANDS

来源：

THEORETICAL COMPUTER SCIENCE | 1989年 / 67卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(89)90006-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：283 / 301

页数：19

共 23 条

[1]

BACKUS J, 1978, COMM ACM, V21

[2]

BAETEN JCM, 1987, LECT NOTES COMPUT SC, V256, P83

[3]

BAETEN JCM, 1987, LNCS, V308, P3

[4]

BAETEN JCM, 1984, CSR8407 CTR MATH COM

[5]

Bergstra J. A., 1983, Elektronische Informationsverarbeitung und Kybernetik (EIK), V19, P17

[6] ALGEBRAIC SPECIFICATIONS OF COMPUTABLE AND SEMICOMPUTABLE DATA-TYPES [J].

BERGSTRA, JA ;

TUCKER, JV .

THEORETICAL COMPUTER SCIENCE, 1987, 50 (02) :137-181

[7] CONDITIONAL REWRITE RULES - CONFLUENCE AND TERMINATION [J].

BERGSTRA, JA ;

KLOP, JW .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 32 (03) :323-362

[8]

BERGSTRA JA, 1982, LECT NOTES COMPUT SC, V140, P23

[9]

EHRIG H, 1985, EATCS MONOGRAPHS THE

[10]

FUTATSUGI K, 1985, 12TH P ACM S PRINC P

← 1 2 3 →