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 条
  • [41] IDENTITY FOR ORDERED PARTIAL SUMS
    TAKACS, L
    JOURNAL OF COMBINATORIAL THEORY SERIES A, 1977, 23 (03) : 364 - 365
  • [42] ON PARTIAL IDENTITY OF CAUSE AND EFFECT
    MORRISON, PG
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1960, 11 (41): : 42 - 49
  • [43] Theory instantiation
    Ganzinger, Harald
    Korovin, Konstantin
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 497 - 511
  • [44] Procedure for solving satisfiability problem based on the partial instantiation technique in the first-order logic
    Yamamoto, M.
    Ohyanagi, T.
    Ohuchi, A.
    Bulletin of the Faculty of Engineering - Hokkaido University, 1993, (165):
  • [45] Identity-Based Encryption with Security Against the KGC: A Formal Model and Its Instantiation from Lattices
    Emura, Keita
    Katsumata, Shuichi
    Watanabe, Yohei
    COMPUTER SECURITY - ESORICS 2019, PT II, 2019, 11736 : 113 - 133
  • [46] Trustworthy instantiation of frameworks
    Assmann, Uwe
    Bartho, Andreas
    Hartmann, Falk
    Savga, Ilie
    Wittek, Barbara
    ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 152 - 168
  • [47] PROGRAM ABSTRACTION AND INSTANTIATION
    DERSHOWITZ, N
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 446 - 477
  • [48] Revisiting Enumerative Instantiation
    Reynolds, Andrew
    Barbosa, Haniel
    Fontaine, Pascal
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 112 - 131
  • [49] A NOTE ON EXISTENTIAL INSTANTIATION
    PRAWITZ, D
    JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (01) : 81 - &
  • [50] DERIVABILITY OF INSTANTIATION PROPERTIES
    FRIEDMAN, H
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (04) : 506 - 514
12345