学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
VARIETIES OF ORDERED ALGEBRAS
被引:115
作者
:
BLOOM, SL
论文数:
0
引用数:
0
h-index:
0
机构:
STEVENS INST TECHNOL,DEPT MATH,HOBOKEN,NJ 07030
STEVENS INST TECHNOL,DEPT MATH,HOBOKEN,NJ 07030
BLOOM, SL
[
1
]
机构
:
[1]
STEVENS INST TECHNOL,DEPT MATH,HOBOKEN,NJ 07030
来源
:
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
|
1976年
/ 13卷
/ 02期
关键词
:
D O I
:
10.1016/S0022-0000(76)80030-X
中图分类号
:
TP3 [计算技术、计算机技术];
学科分类号
:
0812 ;
摘要
:
引用
收藏
页码:200 / 212
页数:13
相关论文
共 5 条
[1]
ELGOT CC, 1975, 1973 P LOG C BRIST N, P175
[2]
GOGUEN JA, 1975, RC5701 IBM RES REP
[3]
Gratzer G, 2008, UNIVERSAL ALGEBRA
[4]
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
LAWVERE, FW
论文数:
0
引用数:
0
h-index:
0
LAWVERE, FW
[J].
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA,
1963,
50
(05)
: 869
-
&
[5]
SCOTT D, 1971, SEMANTICS ALGORITHMI, V182, P311
←
1
→
共 5 条
[1]
ELGOT CC, 1975, 1973 P LOG C BRIST N, P175
[2]
GOGUEN JA, 1975, RC5701 IBM RES REP
[3]
Gratzer G, 2008, UNIVERSAL ALGEBRA
[4]
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
LAWVERE, FW
论文数:
0
引用数:
0
h-index:
0
LAWVERE, FW
[J].
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA,
1963,
50
(05)
: 869
-
&
[5]
SCOTT D, 1971, SEMANTICS ALGORITHMI, V182, P311
←
1
→