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 条
  • [41] PARNAS DL, 1972, COMMUN ACM, V15, P1053, DOI 10.1145/361598.361623
  • [42] TECHNIQUE FOR SOFTWARE MODULE SPECIFICATION WITH EXAMPLES
    PARNAS, DL
    [J]. COMMUNICATIONS OF THE ACM, 1972, 15 (05) : 330 - &
  • [43] Prachar K., 1957, PRIMZAHLVERTEILUNG
  • [44] RABIN MO, 1960, T AM MATH SOC, V98, P341
  • [45] Rogers Jr. H., 1967, MCGRAW HILL SERIES H
  • [46] ROTMAN JJ, 1973, THEORY GROUPS
  • [47] STOLTENBERGHANS.V, UNPUB COMPUTABLE ALG
  • [48] SUBRAHMANYAM PA, 1978, ACM SIGPLAN NOTICES, V13, P80
  • [49] THATCHER JW, 1979, IBM RC7757 RES REPT
  • [50] THATCHER JW, 1979, IBM RC6214 RES REPT
123456