RELATIONAL QUANTIFIERS AND REASONING ABOUT PROGRAMS

被引：0
|
作者：
LEIVANT, D
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：299 / 300
页数：2
相关论文
共 50 条
  • [1] Reasoning about graded strategy quantifiers
    Malvone, Vadim
    Mogavero, Fabio
    Murano, Aniello
    Sorrentino, Loredana
    [J]. INFORMATION AND COMPUTATION, 2018, 259 : 390 - 411
  • [2] REASONING ABOUT PROGRAMS
    WALDINGER, RJ
    LEVITT, KN
    [J]. ARTIFICIAL INTELLIGENCE, 1974, 5 (03) : 235 - 316
  • [3] Reasoning about quantifiers by matching in the E-graph
    Nelson, G
    [J]. AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 166 - 166
  • [4] Types and quantifiers in SHRUTI - A connectionist model of rapid reasoning and relational processing
    Shastri, L
    [J]. HYBRID NEURAL SYSTEMS, 2000, 1778 : 28 - 45
  • [5] Reasoning with quantifiers
    Geurts, B
    [J]. COGNITION, 2003, 86 (03) : 223 - 251
  • [6] Reasoning about Nondeterminism in Programs
    Cook, Byron
    Koskinen, Eric
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (06) : 219 - 229
  • [7] Reasoning about Graph Programs
    Plump, Detlef
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (225): : 35 - 44
  • [8] Statistical Reasoning About Programs
    Boehme, Marcel
    [J]. 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2022), 2022, : 76 - 80
  • [9] REASONING ABOUT PROGRAMS WITH EFFECTS
    MASON, I
    TALCOTT, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 189 - 203
  • [10] Reasoning About Choreographic Programs
    Cruz-Filipe, Luis
    Graversen, Eva
    Montesi, Fabrizio
    Peressotti, Marco
    [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, 2023, 13908 : 144 - 162
12345