A LOGICAL ANALYSIS ON THEORY OF CONDITIONAL REWRITING - PRELIMINARY-REPORT

被引：0
|
作者：
OKADA, M
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 308卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：179 / 196
页数：18
相关论文
共 50 条
  • [41] MEFLOQUINE - PRELIMINARY-REPORT
    FELIX, H
    RICHARDLENOBLE, D
    DANIS, M
    DRUILHE, P
    BRUCKER, G
    GENTILINI, M
    [J]. MEDECINE ET MALADIES INFECTIEUSES, 1981, 11 (6BIS): : 392 - 399
  • [42] DACRYOCYSTANTROSTOMY - PRELIMINARY-REPORT
    BELAL, A
    [J]. JOURNAL OF LARYNGOLOGY AND OTOLOGY, 1976, 90 (08): : 763 - 771
  • [43] A PRELIMINARY-REPORT ON IPRONIAZID
    COOK, EC
    [J]. AMERICAN JOURNAL OF PSYCHIATRY, 1958, 115 (01): : 76 - 76
  • [44] BENZQUINAMIDE - A PRELIMINARY-REPORT
    SAINZ, A
    [J]. AMERICAN JOURNAL OF PSYCHIATRY, 1963, 119 (08): : 777 - &
  • [45] MICROLAPAROSCOPY - A PRELIMINARY-REPORT
    RISQUEZ, F
    PENNEHOUAT, G
    FERNANDEZ, R
    CONFINO, E
    RODRIGUEZ, O
    [J]. HUMAN REPRODUCTION, 1993, 8 (10) : 1701 - 1702
  • [46] PRELIMINARY-REPORT ON TARACTAN
    OLTMAN, JE
    FRIEDMAN, S
    [J]. AMERICAN JOURNAL OF PSYCHIATRY, 1961, 117 (12): : 1120 - &
  • [47] IMPLICATION - PRELIMINARY-REPORT
    SCHREMMER, A
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A457 - A457
  • [48] ANALYSIS OF COMPETITIVE PROCESSES IN ABSTRACT CONES - PRELIMINARY-REPORT
    LAKSHMIKANTHAM, V
    LEELA, S
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A375 - A376
  • [49] BIOMECHANICAL ANALYSIS OF TRANSPEDICULAR ROD SYSTEMS - A PRELIMINARY-REPORT
    PUNO, RM
    BECHTOLD, JE
    BYRD, JA
    WINTER, RB
    OGILVIE, JW
    BRADFORD, DS
    [J]. SPINE, 1991, 16 (08) : 973 - 980
  • [50] ELBOW FLEXION ANALYSIS IN BRISTOW PATIENTS - A PRELIMINARY-REPORT
    CHEN, SK
    PERRY, J
    JOBE, FW
    HEALY, BS
    MOYNES, DR
    [J]. AMERICAN JOURNAL OF SPORTS MEDICINE, 1984, 12 (05): : 347 - 350
12345