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 条
  • [41] Graph representation for asymptotic expansion in homogenisation of nonlinear first-order equations
    Antonić N.
    Burazin K.
    [J]. ANNALI DELL'UNIVERSITA' DI FERRARA, 2007, 53 (2) : 149 - 176
  • [42] On the Convergence of Probabilities of First-Order Sentences for Recursive Random Graph Models
    Zhukovskii, M. E.
    Malyshkin, Yu A.
    [J]. DOKLADY MATHEMATICS, 2020, 102 (02) : 384 - 386
  • [43] UPPER BOUNDS ON THE QUANTIFIER DEPTH FOR GRAPH DIFFERENTIATION IN FIRST-ORDER LOGIC
    Kiefer, Sandra
    Schweitzer, Pascal
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 19:1 - 19:19
  • [44] On the Convergence of Probabilities of First-Order Sentences for Recursive Random Graph Models
    M. E. Zhukovskii
    Yu. A. Malyshkin
    [J]. Doklady Mathematics, 2020, 102 : 384 - 386
  • [45] The Tractability Frontier of Graph-Like First-Order Query Sets
    Chen, Hubie
    [J]. JOURNAL OF THE ACM, 2017, 64 (04)
  • [46] The Tractability Frontier of Graph-Like First-Order Query Sets
    Chen, Hubie
    [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,
  • [47] Translation correctness for first-order object-oriented pattern matching
    Emir, Burak
    Ma, Qin
    Odersky, Martin
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4807 : 54 - +
  • [48] First-order stable model semantics and first-order loop formulas
    Lee, Joohyung
    Meng, Yunsong
    [J]. Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
  • [49] First-Order Stable Model Semantics and First-Order Loop Formulas
    Lee, Joohyung
    Meng, Yunsong
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
  • [50] First-order logics: some characterizations and closure properties
    Christian Choffrut
    Andreas Malcher
    Carlo Mereghetti
    Beatrice Palano
    [J]. Acta Informatica, 2012, 49 : 225 - 248
12345