ALGEBRAIC SPECIFICATIONS OF COMPUTABLE AND SEMICOMPUTABLE DATA-TYPES

被引：51

作者：

BERGSTRA, JA

TUCKER, JV

机构：

[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,3584 CH UTRECHT,NETHERLANDS

[2] UNIV LEEDS,DEPT COMP SCI,LEEDS LS2 9JT,W YORKSHIRE,ENGLAND

来源：

关键词：

D O I：

10.1016/0304-3975(87)90123-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：137 / 181

页数：45

共 57 条

[31]

LALLEMENT G, 1978, SEMIGROUPS COMBINATO

[32]

Liskov B. H., 1975, IEEE Transactions on Software Engineering, VSE-1, P7, DOI 10.1109/TSE.1975.6312816

[33]

LOECKX J, 1981, LECTURE NOTES COMPUT, V115, P129

[34]

Lyndon R. C., 1977, COMBINATORIAL GROUP

[35]

Majster M. E., 1977, SIGPLAN Notices, V12, P37, DOI 10.1145/954627.954630

[36]

Majster M. E., 1979, Theoretical Computer Science, V8, P89, DOI 10.1016/0304-3975(79)90059-8

[37]

MAL'CEV A, 1970, ALGEBRAIC SYSTEMS

[38]

Malcev A.I., 1970, ALGORITHMS RECURSIVE

[39]

MALCEV AI, 1961, RUSS MATH SURV, V16, P77

[40]

MESEGUER J, 1985, ALGEBRAIC METHODS SE