ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS

被引：8
|
作者：
DEBAKKER, JW
MEYER, JJC
ZUCKER, JI
机构：
[1] FREE UNIV AMSTERDAM,DEPT MATH & COMP SCI,1081 HV AMSTERDAM,NETHERLANDS
[2] BAR ILAN UNIV,DEPT MATH & COMP SCI,RAMAT GAN,ISRAEL
来源：
THEORETICAL COMPUTER SCIENCE | 1983年 / 26卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(83)90079-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：53 / 82
页数：30
相关论文
共 50 条
12345