CUBICAL GRAPHS AND CUBICAL DIMENSIONS.

被引：0
|
作者：
Harary, Frank [1 ]
机构：
[1] New Mexico State Univ, Las Cruces,, NM, USA, New Mexico State Univ, Las Cruces, NM, USA
来源：
Computers & mathematics with applications | 1986年 / 15卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
12
引用
收藏
页码：271 / 275
相关论文
共 50 条
  • [41] Guarded Cubical Type Theory
    Lars Birkedal
    Aleš Bizjak
    Ranald Clouston
    Hans Bugge Grathwohl
    Bas Spitters
    Andrea Vezzosi
    Journal of Automated Reasoning, 2019, 63 : 211 - 253
  • [42] CUBICAL ASSEMBLAGES OF UNIFORM SPHERES
    HAPPEL, J
    EPSTEIN, N
    INDUSTRIAL AND ENGINEERING CHEMISTRY, 1954, 46 (06): : 1187 - 1194
  • [43] Canonicity for Cubical Type Theory
    Huber, Simon
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 173 - 210
  • [44] The almost simple cubical polytopes
    Blind, G
    Blind, R
    DISCRETE MATHEMATICS, 1998, 184 (1-3) : 25 - 48
  • [45] The Univalence Axiom in Cubical Sets
    Bezem, Marc
    Coquand, Thierry
    Huber, Simon
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 159 - 171
  • [46] ON HOMOLOGY THEORIES OF CUBICAL DIGRAPHS
    Grigor'Yan, Alexander
    Muranov, Yuri
    PACIFIC JOURNAL OF MATHEMATICS, 2023, 322 (01) : 39 - 58
  • [47] Lower Bounds for Cubical Pseudomanifolds
    Klee, Steven
    DISCRETE & COMPUTATIONAL GEOMETRY, 2011, 46 (02) : 212 - 222
  • [48] Neighborly cubical polytopes and spheres
    Joswig, Michael
    Roerig, Thilo
    ISRAEL JOURNAL OF MATHEMATICS, 2007, 159 (01) : 221 - 242
  • [49] Guarded Cubical Type Theory
    Birkedal, Lars
    Bizjak, Ales
    Clouston, Ranald
    Grathwohl, Hans Bugge
    Spitters, Bas
    Vezzosi, Andrea
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 211 - 253
  • [50] Cubical structures, homotopy theory
    Antolini R.
    Annali di Matematica Pura ed Applicata, 2000, 178 (1) : 317 - 324
12345