COMPUTING WITH INFINITE OBJECTS

被引：21

作者：

WIEDMER, E ^{[1
]}

机构：

[1] HASLER AG,FORSCH & STUDIEN ABT,CH-3000 BERN 14,SWITZERLAND

来源：

关键词：

D O I：

10.1016/0304-3975(80)90011-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：133 / 155

页数：23

共 13 条

[1]

AVIZIENIS A, 1962, INFORMATION PROCESSI, P664

[2]

Brouwer LEJ, 1924, P K AKAD WET-AMSTERD, V27, P189

[3]

BUCHI J, 1969, TAGUNGSBERICHT AUTOM, P385

[4]

ENGELER E, 1975, MATH CTR TRACTS, V63, P57

[5]

ERSOV JL, 1973, Z MATH LOGIK, V19, P289, DOI 10.1002/malq.19730191901

[6]

KAHN G, 1976, IRIA202 LAB RECH RAP

[7]

LACOMBE DANIEL, 1959, CONSTRUCTIVITY MATH, P129

[8]

Rogers Jr. H., 1967, MCGRAW HILL SERIES H

[9]

SCOTT D, 1974, DATA TYPES LATTICES

[10]

SCOTT D, 1972, SPR P AFIPS JOINT CO, P225