A MICROCOMPUTER-BASED SYSTEM FOR SMALL RELATION ALGEBRAS

被引：2
|
作者：
DUNTSCH, I
机构：
[1] Faculty of Informatics, University of Ulster at Jordanstown, Newtonabbey, Co., Antrim
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1994年 / 18卷 / 01期
关键词：
D O I：
10.1006/jsco.1994.1037
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Algebras of n-ary relations are a useful tool in the investigation of logics with limited resources; for example, the equational logic of Tarski's relation algebras corresponds to the three variable fragment of first order logic. We present a computer system which assists in the generation and investigation of properties of relation algebras.
引用
收藏
页码：83 / 86
页数：4
相关论文
共 50 条
  • [21] A MICROCOMPUTER-BASED SYSTEM FOR QUANTITATIVE PETROGRAPHIC ANALYSIS
    STARKEY, J
    SAMANTARAY, AK
    COMPUTERS & GEOSCIENCES, 1994, 20 (09) : 1285 - 1296
  • [22] A MICROCOMPUTER-BASED VISION SYSTEM FOR AREA MEASUREMENT
    KIM, NH
    WYSOCKI, AB
    BOVIK, AC
    DILLER, KR
    COMPUTERS IN BIOLOGY AND MEDICINE, 1987, 17 (03) : 173 - 183
  • [23] A SYSTEM FOR SIMULATED PROTOTYPING OF MICROCOMPUTER-BASED DESIGNS
    KEANE, BP
    RAGDE, J
    IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 1980, 27 (09) : 529 - 529
  • [24] DESIGNING A MICROCOMPUTER-BASED CONTROL-SYSTEM
    THORNLEY, A
    CONTROL AND INSTRUMENTATION, 1976, 8 (02): : 22 - &
  • [25] DESIGN OF A MICROCOMPUTER-BASED MONOSTATIC SODAR SYSTEM
    GERA, BS
    SINGAL, SP
    INDIAN JOURNAL OF RADIO & SPACE PHYSICS, 1993, 22 (05): : 296 - 300
  • [26] A MICROCOMPUTER-BASED FREQUENCY DISPERSION MEASUREMENT SYSTEM
    BOUKAMP, BA
    JOURNAL OF THE ELECTROCHEMICAL SOCIETY, 1983, 130 (08) : C339 - C339
  • [27] Microcomputer-based monitoring system for filling process
    Zhao, Wangda
    Peng, Boyi
    Ren, Zhiyuan
    Li, Jun
    Kuangye Yanjiu Yu Kaifa/Mining Research and Development, 1994, 14 (04):
  • [28] A microcomputer-based multifunctional magnetic measurement system
    Zhang, YJ
    Feng, YT
    Chen, QL
    Huang, SJ
    ICEMI '97 - CONFERENCE PROCEEDINGS: THIRD INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, 1997, : 466 - 469
  • [29] MICROCOMPUTER-BASED AUTOMATED PROJECTION SYSTEM (MAPS)
    DUFFY, S
    CARTOGRAPHY AND GEOGRAPHIC INFORMATION SYSTEMS, 1990, 17 (01): : 116 - 117
  • [30] INTERLOAN: A microcomputer-based interlibrary loan system
    Siddiqui, Moid A.
    Microcomputers for information management, 1992, 9 (01): : 47 - 59
12345