Instantiation as partial identity

被引：0
|
作者：
Baxter, DLM [1 ]
机构：
[1] Univ Connecticut, Storrs, CT 06269 USA
来源：
AUSTRALASIAN JOURNAL OF PHILOSOPHY | 2001年 / 79卷 / 04期
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：449 / 464
页数：16
相关论文
共 50 条
  • [11] Incremental methods for optimizing partial instantiation
    Ng, RT
    Tian, XM
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 287 - 301
  • [12] Computing minimal models by partial instantiation
    Kagan, V
    Nerode, A
    Subrahmanian, VS
    THEORETICAL COMPUTER SCIENCE, 1996, 155 (01) : 157 - 177
  • [13] Incremental methods for optimizing partial instantiation
    Int J Pressure Vessels Piping, 2 (287):
  • [14] Theorem proving based on the partial instantiation technique
    Yamamoto, M
    Ohuchi, A
    Ohyanagi, T
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1996, 79 (04): : 110 - 118
  • [15] COMPUTING DEFINITE LOGIC PROGRAMS BY PARTIAL INSTANTIATION
    KAGAN, V
    NERODE, A
    SUBRAHMANIAN, VS
    ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 161 - 182
  • [16] Procedure for satisfiability problems based on the partial instantiation technique
    Yamamoto, Masahito
    Ohuchi, Azuma
    Ohyanagi, Toshio
    Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi), 1995, 78 (09): : 94 - 103
  • [17] A procedure for satisfiability problems based on the partial instantiation technique
    Yamamoto, M
    Ohuchi, A
    Ohyanagi, T
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1995, 78 (09): : 94 - 103
  • [18] Partial instantiation theorem proving for distributed resource location
    Vanderveen, K
    Ramamoorthy, CV
    COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 192 - 197
  • [19] Incremental algorithms for optimizing model computation based on partial instantiation
    Univ of British Columbia, Vancouver, Canada
    J Logic Program, 3 (179-204):
  • [20] Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs
    Kosiol, Jens
    Fritsche, Lars
    Schuerr, Andy
    Taentzer, Gabriele
    GRAPH TRANSFORMATION, ICGT 2019, 2019, 11629 : 38 - 54
12345