THE COMPLETENESS OF THE ALGEBRAIC SPECIFICATION METHODS FOR COMPUTABLE DATA-TYPES

被引：24

作者：

BERGSTRA, JA ^{[1
]}

TUCKER, JV ^{[1
]}

机构：

[1] UNIV LEEDS,DEPT COMP STUDIES,LEEDS LS2 9JT,W YORKSHIRE,ENGLAND

来源：

INFORMATION AND CONTROL | 1982年 / 54卷 / 03期

关键词：

D O I：

10.1016/S0019-9958(82)80021-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：186 / 200

页数：15

共 28 条

[1]

Bergstra J. A., 1980, Automata, Languages and Programming, Seventh Colloquium, P76

BERGSTRA, JA ;

TUCKER, JV .

[3]

BERGSTRA JA, 1979, IW115 MATH CTR DEP C

[4]

BERGSTRA JA, 1979, ACM SIGPLAN NOTICES, V14, P13

[5]

BERGSTRA JA, 1980, IW131 MATH CTR DEP C

[6]

BERGSTRA JA, 1980, IW128 MATH CTR DEP C

[7]

BERGSTRA JA, 1980, B EATCS, V11, P23

[8]

BROY M, 1979, AUTOMATA LANGUAGES P, P72

[9]

GIARRATANA V, 1976, LECTURE NOTES COMPUT, V45

[10]

Goguen J., 1978, CURRENT TRENDS PROGR, P80