MEANING AND A CONSTRUCTIVE PROOF OF MENGER'S THEOREM FOR MATROIDS.

被引：0

|

作者：

Tomizawa, Nobuaki

机构：

来源：

Electronics and Communications in Japan (English translation of Denshi Tsushin Gakkai Zasshi) | 1976年 / 59卷 / 06期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

MATHEMATICAL TECHNIQUES

引用

收藏

页码：47 / 56

相关论文

共 50 条

[21] A CONSTRUCTIVE PROOF OF VIZINGS THEOREM
MISRA, J
GRIES, D
INFORMATION PROCESSING LETTERS, 1992, 41 (03) : 131 - 133
[22] CONSTRUCTIVE PROOF OF SARDS THEOREM
CHAN, YK
PACIFIC JOURNAL OF MATHEMATICS, 1971, 36 (02) : 291 - &
[23] Menger's Theorem
Böhme, T
Göring, F
Harant, J
JOURNAL OF GRAPH THEORY, 2001, 37 (01) : 35 - 36
[24] A constructive topological proof of van der Waerden's theorem
Coquand, T
JOURNAL OF PURE AND APPLIED ALGEBRA, 1995, 105 (03) : 251 - 259
[25] The Realization Theorem for S5 A Simple, Constructive Proof
Fitting, Melvin
GAMES, NORMS AND REASONS: LOGIC AT THE CROSSROADS, 2011, 353 : 61 - +
[26] A CONSTRUCTIVE PROOF OF THE CIRCLE-THEOREM
NIGAM, SD
AMARANATH, T
MECHANICS RESEARCH COMMUNICATIONS, 1989, 16 (06) : 329 - 331
[27] A CONSTRUCTIVE PROOF OF WEISS SPHERE THEOREM
NIGAM, R
NIGAM, SD
MECHANICS RESEARCH COMMUNICATIONS, 1993, 20 (03) : 187 - 189
[28] A Constructive Proof of the Gelfand—Kolmogorov Theorem
He Wei
Applied Categorical Structures, 2004, 12 : 197 - 202
[29] A CONSTRUCTIVE PROOF OF A THEOREM IN RELEVANCE LOGIC
KRON, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (05): : 423 - 430
[30] A Constructive Proof of the Topological Kruskal Theorem
Goubault-Larrecq, Jean
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013, 2013, 8087 : 22 - 41

← 1 2 3 4 5 →