Integration in real PCF

被引：9
|
作者：
Edalat, A [1 ]
Escardo, MH [1 ]
机构：
[1] UNIV LONDON IMPERIAL COLL SCI TECHNOL & MED,DEPT COMP,LONDON SW7 2BZ,ENGLAND
来源：
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/LICS.1996.561453
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：382 / 393
页数：12
相关论文
共 50 条
12345