TREES, BOUQUETS, AND EXTENSIONS OF S4

被引：0
|
作者：
SCHUMM, GF
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1971年 / 36卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：590 / &
相关论文
共 50 条
  • [21] Refutations and proofs in S4
    Skura, T
    PROOF THEORY OF MODAL LOGIC, 1996, 2 : 45 - 51
  • [22] A RESOLUTION PROVER FOR S4
    BAZYLEV, VY
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 97 - 101
  • [23] Finite symmetries of S4
    Chen, Weimin
    Kwasik, Slawomir
    Schultz, Reinhard
    FORUM MATHEMATICUM, 2016, 28 (02) : 295 - 310
  • [24] 瑞风S4
    汽车观察, 2019, (09) : 112 - 112
  • [25] S4 prescribing for podiatrists
    Stephen Marty
    Journal of Foot and Ankle Research, 4 (Suppl 1)
  • [26] GENESIS OF S4 GALLOP
    KLEIN, HO
    NEW ENGLAND JOURNAL OF MEDICINE, 1971, 284 (15): : 852 - &
  • [27] EXOTIC INVOLUTION OF S4
    AKBULUT, S
    KIRBY, R
    TOPOLOGY, 1979, 18 (01) : 75 - 81
  • [28] Valuation Semantics for S4
    Loparic, Andrea M.
    Mortari, Cezar A.
    STUDIA LOGICA, 2024, 113 (2) : 379 - 396
  • [29] BIHARMONIC SURFACES OF S4
    Balmus, Adina
    Oniciuc, Cezar
    KYUSHU JOURNAL OF MATHEMATICS, 2009, 63 (02) : 339 - 345
  • [30] SLICE LINKS IN S4
    COCHRAN, T
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 285 (01) : 389 - 401
12345