EFFECTIVE SOLUTIONS TO DOMAIN EQUATIONS AN APPROACH TO EFFECTIVE DENOTATIONAL SEMANTICS

被引:0
作者
YOCCOZ, S
机构
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:521 / 536
页数:16
相关论文
共 8 条
[1]  
AMERICA P, 1989, JCSS, V39
[2]  
AMERICA P, 1989, INFORMATION COMPUTAT, V83
[3]  
BADOUEL E, P MFCS 89
[4]  
BOURBAKI N, TOPOLOGIE GENERALE, V2
[5]  
BOURBAKI N, TOPOLOGIE GENERALE, V1
[6]  
PLOTKIN G, 1981, DAIMI FN19 REP
[7]  
YOCCOZ S, 1990, EFFECTIVE DENOTATI 2
[8]  
YOCCOZ S, 1990, EFFECTIVE DENOTATI 1