首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
DATA-TYPES AS ALGORITHMS
被引:0
|
作者
:
ABDALLAH, MAN
论文数:
0
引用数:
0
h-index:
0
机构:
LAB INFORMAT THEOR & PROGRAMMAT,PARIS,FRANCE
LAB INFORMAT THEOR & PROGRAMMAT,PARIS,FRANCE
ABDALLAH, MAN
[
1
]
机构
:
[1]
LAB INFORMAT THEOR & PROGRAMMAT,PARIS,FRANCE
来源
:
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS
|
1984年
/ 18卷
/ 01期
关键词
:
D O I
:
暂无
中图分类号
:
TP [自动化技术、计算机技术];
学科分类号
:
0812 ;
摘要
:
引用
收藏
页码:3 / 22
页数:20
相关论文
共 50 条
[1]
LEDA - A LIBRARY OF EFFICIENT DATA-TYPES AND ALGORITHMS
MEHLHORN, K
论文数:
0
引用数:
0
h-index:
0
MEHLHORN, K
NAHER, S
论文数:
0
引用数:
0
h-index:
0
NAHER, S
LECTURE NOTES IN COMPUTER SCIENCE,
1989,
379
: 88
-
106
[2]
LEDA - A LIBRARY OF EFFICIENT DATA-TYPES AND ALGORITHMS
NAHER, S
论文数:
0
引用数:
0
h-index:
0
NAHER, S
MEHLHORN, K
论文数:
0
引用数:
0
h-index:
0
MEHLHORN, K
LECTURE NOTES IN COMPUTER SCIENCE,
1990,
443
: 1
-
5
[3]
CONTINUOUS DATA-TYPES
LEVY, MR
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
LEVY, MR
MAIBAUM, TSE
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
MAIBAUM, TSE
SIAM JOURNAL ON COMPUTING,
1982,
11
(02)
: 201
-
216
[4]
ON THE REPRESENTATION OF DATA-TYPES
OREJAS, F
论文数:
0
引用数:
0
h-index:
0
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE,
1981,
107
: 419
-
431
[5]
DIMENSIONAL DATA-TYPES
JONES, DW
论文数:
0
引用数:
0
h-index:
0
JONES, DW
DR DOBBS JOURNAL,
1987,
12
(05):
: 50
-
&
[6]
ROBUST DATA-TYPES
CRISTIAN, F
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV NEWCASTLE UPON TYNE,COMP LAB,NEWCASTLE TYNE NE1 7RU,TYNE & WEAR,ENGLAND
UNIV NEWCASTLE UPON TYNE,COMP LAB,NEWCASTLE TYNE NE1 7RU,TYNE & WEAR,ENGLAND
CRISTIAN, F
ACTA INFORMATICA,
1982,
17
(04)
: 365
-
397
[7]
CONSTRUCTIVE DATA-TYPES
MCCARTY, DC
论文数:
0
引用数:
0
h-index:
0
MCCARTY, DC
JOURNAL OF SYMBOLIC LOGIC,
1985,
50
(04)
: 1097
-
1097
[8]
DATA-TYPES ARE VALUES
DONAHUE, J
论文数:
0
引用数:
0
h-index:
0
机构:
CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853
CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853
DONAHUE, J
DEMERS, A
论文数:
0
引用数:
0
h-index:
0
机构:
CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853
CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853
DEMERS, A
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1985,
7
(03):
: 426
-
445
[9]
SPECIFICATION BY DATA-TYPES
ANAIRCHINNIGH, MM
论文数:
0
引用数:
0
h-index:
0
ANAIRCHINNIGH, MM
LECTURE NOTES IN COMPUTER SCIENCE,
1987,
252
: 362
-
388
[10]
OBSERVING NONDETERMINISTIC DATA-TYPES
NIPKOW, T
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV MANCHESTER, MANCHESTER M13 9PL, LANCS, ENGLAND
UNIV MANCHESTER, MANCHESTER M13 9PL, LANCS, ENGLAND
NIPKOW, T
LECTURE NOTES IN COMPUTER SCIENCE,
1988,
332
: 170
-
183
←
1
2
3
4
5
→