PROOF THEORY FOR LINEAR LATTICES

被引：29

作者：

HAIMAN, M

机构：

来源：

关键词：

D O I：

10.1016/0001-8708(85)90118-5

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：209 / 242

页数：34

共 35 条

[1]

Birkhoff Garrett, 1967, AMS C PUBLICATIONS, VXXV

[2] COMBINATORIAL MODEL FOR SERIES-PARALLEL NETWORKS [J].

BRYLAWSKI, T .

[3]

Crawley P., 1973, ALGEBRAIC THEORY LAT

[4]

CZEDLI G, 1984, ACTA MATH HUNG, V44, P115

[5]

CZEDLI G, UNPUB LATTICE WORD P

[6] THE COORDINATIZATION OF ARGUESIAN LATTICES [J].

DAY, A ;

PICKERING, D .

[7]

DAY A, 1983, LECT NOTES MATH, V1004, P111

[8] TOPOLOGY OF SERIES-PARALLEL NETWORKS [J].

DUFFIN, RJ .

[9]

FREESE R, 1980, T AM MATH SOC, V261, P81

[10]

FREESE R, 1981, ALGEBRA UNIVERSALIS, V6, P225