UNDECIDABLE THEORIES IN STATIONARY-LOGIC

被引：0
|
作者：
SEESE, D
TUSCHIK, P
WEESE, M
机构：
来源：
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 1982年 / 84卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：563 / 567
页数：5
相关论文
共 50 条
  • [41] Undecidable existential theories of polynomial rings and function fields
    Pheidas, T
    Zahidi, K
    COMMUNICATIONS IN ALGEBRA, 1999, 27 (10) : 4993 - 5010
  • [42] Weak essentially undecidable theories of concatenation, part II
    Juvenal Murwanashyaka
    Archive for Mathematical Logic, 2024, 63 : 353 - 390
  • [43] Weak essentially undecidable theories of concatenation, part II
    Murwanashyaka, Juvenal
    ARCHIVE FOR MATHEMATICAL LOGIC, 2024, 63 (3-4) : 353 - 390
  • [44] Measurement-based quantum computation and undecidable logic
    Van den Nest, Maarten
    Briegel, Hans J.
    FOUNDATIONS OF PHYSICS, 2008, 38 (05) : 448 - 457
  • [45] Measurement-Based Quantum Computation and Undecidable Logic
    Maarten Van den Nest
    Hans J. Briegel
    Foundations of Physics, 2008, 38 : 448 - 457
  • [46] STATIONARY SCATTERING THEORIES
    MUGA, JG
    LEVINE, RD
    PHYSICA SCRIPTA, 1989, 40 (02) : 129 - 140
  • [47] Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories
    Raatikainen, P
    JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (01) : 262 - 266
  • [48] B and D Are Enough to Make the Halpern-Shoham Logic Undecidable
    Marcinkowski, Jerzy
    Michaliszyn, Jakub
    Kieronski, Emanuel
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 357 - 368
  • [49] The logic of parametric theories
    Lohndal, Terje
    Uriagereka, Juan
    THEORETICAL LINGUISTICS, 2010, 36 (01) : 69 - 76
  • [50] OPEN LOGIC THEORIES
    BROGI, A
    LAMMA, E
    MELLO, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 73 - 88
12345