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
来源：
THEORETICAL COMPUTER SCIENCE | 1987年 / 50卷 / 02期
关键词：
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
123456