F-LOGIC - A HIGHER-ORDER LANGUAGE FOR REASONING ABOUT OBJECTS, INHERITANCE, AND SCHEME

被引：0
|
作者：
KIFER, M
LAUSEN, G
机构：
来源：
PROCEEDINGS OF THE 1989 ACM SIGMOD INTERNATIONAL CONFERENCE ON THE MANAGEMENT OF DATA | 1989年 / 18卷
关键词：
D O I：
10.1145/67544.66939
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
下载
收藏
页码：134 / 146
页数：13
相关论文
共 50 条
  • [1] REASONING ABOUT STATE MACHINES IN HIGHER-ORDER LOGIC
    LOEWENSTEIN, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 408 : 67 - 89
  • [2] Reasoning about feature models in higher-order logic
    Janota, Mikolas
    Kiniry, Joseph
    SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS, 2007, : 13 - 22
  • [3] Reasoning about knowledge using lattices and F-logic
    Mestrovic, Ana
    Cubrilo, Mirko
    INES 2007: 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS, PROCEEDINGS, 2007, : 291 - 296
  • [4] Inheritance in higher order logic: Modeling and reasoning
    Huisman, M
    Jacobs, B
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 301 - 319
  • [5] Reasoning about higher-order processes
    Amadio, RM
    Dam, M
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 202 - 216
  • [6] A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities
    Savic, Nenad
    Doder, Dragan
    Ognjanovic, Zoran
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, 2017, 10369 : 491 - 500
  • [7] A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
    Baelde, David
    Koutsos, Adrien
    Lallemand, Joseph
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [8] A logic for reasoning with higher-order abstract syntax
    McDowell, R
    Miller, D
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 434 - 445
  • [9] On the Expressive Power of F-Logic Language
    田增平
    王宇君
    曲云尧
    施伯乐
    Journal of Computer Science & Technology, 1997, (06) : 510 - 519
  • [10] On the expressive power of F-logic language
    Fudan Univ, Shanghai, China
    J Comput Sci Technol, 6 (510-519):
12345