CONSTRUCTIVE VERSIONS OF TARSKI FIXED-POINT THEOREMS

被引:130
|
作者
COUSOT, P
COUSOT, R
机构
关键词
D O I
10.2140/pjm.1979.82.43
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:43 / 57
页数:15
相关论文
共 50 条