SOME PROBLEMS NO LONGER OPEN FOR E AND RELATED LOGICS

被引：0
|
作者：
MEYER, RK
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1970年 / 35卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：353 / &
相关论文
共 50 条
  • [1] MODEL-THEORY OF PROPOSITIONAL LOGICS OF PROGRAMS - SOME OPEN PROBLEMS
    HABASINSKI, Z
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 208 : 98 - 110
  • [2] Some Open Problems Related to Creative Telescoping
    CHEN Shaoshi
    KAUERS Manuel
    JournalofSystemsScience&Complexity, 2017, 30 (01) : 154 - 172
  • [3] Some open problems related to creative telescoping
    Shaoshi Chen
    Manuel Kauers
    Journal of Systems Science and Complexity, 2017, 30 : 154 - 172
  • [4] Some open problems related to small divisors
    Marmi, S
    Yoccoz, JC
    DYNAMICAL SYSTEMS AND SMALL DIVISORS, 2002, 1784 : 175 - 191
  • [5] Some Open Problems Related to Creative Telescoping
    Shaoshi, Chen
    Manuel, Kauers
    JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 30 (01) : 154 - 172
  • [6] SOME PROBLEMS ON INTERMEDIATE PREDICATE LOGICS
    RAUSZER, C
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1438 - 1438
  • [7] Some Open Problems Related to Fixed Point Properties
    Lau, Anthony To-Ming
    Zhang, Yong
    SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2022, 46 (05) : 609 - 618
  • [8] Decision Problems of some Intermediate Logics and Their Fragments
    Svejdar, Vitezslav
    LOGICA YEARBOOK 2009, 2010, : 297 - 307
  • [9] Molecular simulation and related topics: some open mathematical problems
    Cances, Eric
    Le Bris, C.
    Lions, P-L
    NONLINEARITY, 2008, 21 (09) : T165 - T176
  • [10] Progresses on Some Open Problems Related to Infinitely Many Symmetries
    Lou, Senyue
    MATHEMATICS, 2024, 12 (20)
12345