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 条
  • [31] Deciding first-order properties for sparse graphs
    Dvorak, Zdenek
    Kral', Daniel
    Thomas, Robin
    [J]. 2010 IEEE 51ST ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 2010, : 133 - 142
  • [32] PROPERTIES OF A FIRST-ORDER FUNCTIONAL LANGUAGE WITH SHARING
    ARIOLA, ZM
    ARVIND
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 146 (1-2) : 69 - 108
  • [33] Monitoring of Temporal First-Order Properties with Aggregations
    Basin, David
    Klaedtke, Felix
    Marinovic, Srdjan
    Zalinescu, Eugen
    [J]. RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 40 - 58
  • [34] Substitution in First-Order Formulas: Elementary Properties
    Braselmann, Patrick
    Koepke, Peter
    [J]. FORMALIZED MATHEMATICS, 2005, 13 (01): : 5 - 15
  • [35] Monitoring Metric First-Order Temporal Properties
    Basin, David
    Klaedtke, Felix
    Mueller, Samuel
    Zalinescu, Eugen
    [J]. JOURNAL OF THE ACM, 2015, 62 (02)
  • [36] Prenex universal first-order safety properties
    Dundua, Besik
    Kapanadze, Ioane
    Seidl, Helmut
    [J]. INFORMATION PROCESSING LETTERS, 2024, 186
  • [37] On first-order definitions of subgraph isomorphism properties
    M. E. Zhukovskii
    [J]. Doklady Mathematics, 2017, 96 : 454 - 456
  • [38] The temporal properties of first-order and second-order vision
    Schofield, A
    Georgeson, MA
    [J]. PERCEPTION, 1998, 27 (12) : 1489 - 1489
  • [39] A First-Order Differentiator with First-Order Sliding Mode Filtering
    Kikuuwe, Ryo
    Pasaribu, Rainhart
    Byun, Gyuho
    [J]. IFAC PAPERSONLINE, 2019, 52 (16): : 771 - 776
  • [40] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
12345