ALGEBRAIC AND OPERATIONAL SEMANTICS OF POSITIVE NEGATIVE CONDITIONAL ALGEBRAIC SPECIFICATIONS

被引：0
作者：
KAPLAN, S
机构：
[1] UNIV SCI, LRI, F-91405 ORSAY, FRANCE
[2] BAR ILAN UNIV, DEPT COMP SCI, RAMAT GAN, ISRAEL
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 338卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：419 / 434
页数：16
相关论文
共 20 条
  • [1] APT K, 1987, UNPUB THEORY DECLARA
  • [2] BAETEN J, 1987, LNCS, V256
  • [3] BERGSTRA J, 1981, LNCS, V118
  • [4] BIDOIT N, 1986, P ACM SIGACT SIGMOD
  • [5] DERSHOWITZ N, 1985, LNCS, V202
  • [6] EHRIG H, 1985, EATCS MONOGRAPHS THE
  • [7] GANZIGER H, 1987, LNCS, V252
  • [8] Goguen J., 1978, CURRENT TRENDS PROGR, P80
  • [9] HUET G, 1978, 18TH P FOCS C PROV
  • [10] JOUANNAUD JP, 1984, 11TH P POPL C
12