FIRST-ORDER PROPERTIES AND ORIENTED GRAPH

被引：0
|
作者：
BLANC, G
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1977年 / 42卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：129 / 129
页数：1
相关论文
共 50 条
  • [1] Faster decision of first-order graph properties
    Williams, Ryan
    [J]. PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [2] On limit points of spectra of the random graph first-order properties
    M. E. Zhukovskii
    [J]. Doklady Mathematics, 2015, 92 : 719 - 722
  • [3] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties
    Fedor V. Fomin
    Petr A. Golovach
    Dimitrios M. Thilikos
    [J]. Theory of Computing Systems, 2020, 64 : 251 - 271
  • [4] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties
    Fomin, Fedor V.
    Golovach, Petr A.
    Thilikos, Dimitrios M.
    [J]. Theory of Computing Systems, 2020, 64 (02): : 251 - 271
  • [5] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties
    Fomin, Fedor V.
    Golovach, Petr A.
    Thilikos, Dimitrios M.
    [J]. THEORY OF COMPUTING SYSTEMS, 2020, 64 (02) : 251 - 271
  • [6] On limit points of spectra of the random graph first-order properties
    Zhukovskii, M. E.
    [J]. DOKLADY MATHEMATICS, 2015, 92 (03) : 719 - 722
  • [7] On the first-order edge tenacity of a graph
    Bafandeh, Bahareh
    Moazzami, Dara
    Ghodousian, Amin
    [J]. DISCRETE APPLIED MATHEMATICS, 2016, 205 : 8 - 15
  • [8] Verifying Graph Programs with First-Order Logic
    Wulandari, Gia S.
    Plump, Detlef
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (330): : 181 - 200
  • [9] Definability in first-order theories of graph orderings
    Ramanujam, R.
    Thinniyam, Ramanathan S.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 403 - 420
  • [10] FIRST-ORDER TOPOLOGICAL PROPERTIES
    Gurevich, Yuri
    Van den Bussche, Jan
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2005, (87): : 155 - 164
12345