AN ENVIRONMENT FOR AUTOMATED REASONING ABOUT PARTIAL FUNCTIONS

被引：0
|
作者：
BASIN, DA
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 310卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：101 / 110
页数：10
相关论文
共 50 条
  • [1] Reasoning About Partial Functions in the Formal Development of Programs
    Jones, Cliff B.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 145 : 3 - 25
  • [2] The connection between two ways of reasoning about partial functions
    Fitzgerald, John S.
    Jones, Cliff B.
    INFORMATION PROCESSING LETTERS, 2008, 107 (3-4) : 128 - 132
  • [3] AUTOMATED REASONING ABOUT MACHINES
    GELSEY, A
    ARTIFICIAL INTELLIGENCE, 1995, 74 (01) : 1 - 53
  • [4] Reasoning About Partial Contracts
    Azzopardi, Shaun
    Gatt, Albert
    Pace, Gordon
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2016, 294 : 23 - 32
  • [5] CHILDRENS REASONING ABOUT THEIR ENVIRONMENT
    HOUGHTON, DM
    MORGAN, V
    JOURNAL OF GEOGRAPHY, 1974, 73 (05) : 5 - 10
  • [6] AUTOMATED REASONING ABOUT AN UNCERTAIN DOMAIN
    DASILVA, FS
    ROBERTSON, D
    CHUNG, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 141 - 145
  • [7] Automated reasoning about metric and topology
    Hustadt, Ullrich
    Tishkovsky, Dmitry
    Wolter, Frank
    Zakharyaschev, Michael
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 490 - 493
  • [8] AUTOMATED REASONING ABOUT CUBIC CURVES
    PADMANABHAN, R
    MCCUNE, W
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (02) : 17 - 26
  • [9] Automated Reasoning About Key Sets
    Hannula, Miika
    Link, Sebastian
    AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 47 - 63
  • [10] A PORTABLE ENVIRONMENT FOR RESEARCH IN AUTOMATED REASONING
    LUSK, EL
    OVERBEEK, RA
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 43 - 52
12345