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 条
  • [41] A MICROCOMPUTER-BASED IMAGE-ANALYSIS SYSTEM
    GATES, MA
    TRANSACTIONS OF THE AMERICAN MICROSCOPICAL SOCIETY, 1984, 103 (01): : 108 - 109
  • [42] A MICROCOMPUTER-BASED INTERACTIVE PRESENTATION DEVELOPMENT SYSTEM
    MOREAU, DR
    DOMINICK, WD
    COMPUTERS & EDUCATION, 1988, 12 (02) : 327 - 337
  • [43] Microcomputer-based intelligent system for motion control
    Mansor, W
    IEEE REGION 10 INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONIC TECHNOLOGY, VOLS 1 AND 2, 2001, : 439 - 441
  • [44] A MICROCOMPUTER-BASED SYSTEM FOR MAPPING MICROVASCULAR NETWORKS
    WU, CH
    JOHNSON, PC
    INTERNATIONAL JOURNAL OF MICROCIRCULATION-CLINICAL AND EXPERIMENTAL, 1989, 8 (03): : 303 - 311
  • [45] IMAGE - MODIFIED FOR USE ON A MICROCOMPUTER-BASED SYSTEM
    SIMIGIAN, S
    STARKEY, J
    COMPUTERS & GEOSCIENCES, 1989, 15 (03) : 237 - 254
  • [46] MICAPP - A MICROCOMPUTER-BASED PROCESS PLANNING SYSTEM
    BOK, SH
    NEE, AYC
    JOURNAL OF MECHANICAL WORKING TECHNOLOGY, 1988, 17 : 21 - 31
  • [47] A MICROCOMPUTER-BASED CAMERA CONTROL-SYSTEM
    HALL, RJ
    HISCOCKS, P
    PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 1990, 56 (04): : 443 - 446
  • [48] A TURNKEY, MICROCOMPUTER-BASED LOGISTICS PLANNING SYSTEM
    CARLISLE, DP
    NICKERSON, KS
    PROBST, SB
    RUDOLPH, D
    SHEFFI, Y
    POWELL, WB
    INTERFACES, 1987, 17 (04) : 16 - 26
  • [49] A MICROCOMPUTER-BASED SYSTEM FOR INSTRUMENTED IMPACT TESTING
    CRAWFORD, RJ
    MCFERRAN, NV
    ALI, A
    JOURNAL OF TESTING AND EVALUATION, 1982, 10 (03) : 121 - 125
  • [50] A microcomputer-based respiratory and activity recording system
    Matsuoka, S
    Ogawa, H
    Yonezawa, Y
    Maki, H
    Hahn, AW
    Caldwell, WM
    BIOMEDICAL SCIENCES INSTRUMENTATION, VOL 38, 2002, 38 : 119 - 122
12345