COMPUTING WITH CONDITIONAL REWRITE RULES

被引：0
|
作者：
PELIN, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 308卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：197 / 211
页数：15
相关论文
共 50 条
  • [1] CONDITIONAL REWRITE RULES
    KAPLAN, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 175 - 193
  • [2] CONDITIONAL REWRITE RULES - CONFLUENCE AND TERMINATION
    BERGSTRA, JA
    KLOP, JW
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 32 (03) : 323 - 362
  • [3] ON THE USE OF CONDITIONAL REWRITE RULES IN INDUCTIVE THEOREM-PROVING
    FRIBOURG, L
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 56 - 61
  • [4] An Algebraic Approach to the Study and Optimization of the Set of Rules of a Conditional Rewrite System
    Makhortov, S. D.
    [J]. INTERNATIONAL CONFERENCE APPLIED MATHEMATICS, COMPUTATIONAL SCIENCE AND MECHANICS: CURRENT PROBLEMS, 2018, 973
  • [5] SWAPPER: A Framework for Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules
    Singh, Rohit
    Solar-Lezama, Armando
    [J]. PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 185 - 192
  • [6] COMPLETENESS OF REWRITE RULES AND REWRITE STRATEGIES FOR FP
    HALPERN, JY
    WILLIAMS, JH
    WIMMERS, EL
    [J]. JOURNAL OF THE ACM, 1990, 37 (01) : 86 - 143
  • [7] Rewrite rules for CTL
    McCabe-Dansted, John C.
    Reynolds, Mark
    [J]. JOURNAL OF APPLIED LOGIC, 2017, 21 : 24 - 56
  • [8] 1ST-ORDER THEOREM-PROVING USING CONDITIONAL REWRITE RULES
    ZHANG, H
    KAPUR, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 1 - 20
  • [9] CONFLUENCE OF CONDITIONAL REWRITE SYSTEMS
    DERSHOWITZ, N
    OKADA, M
    SIVAKUMAR, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 31 - 44
  • [10] Logicality of conditional rewrite systems
    Yamada, T
    Avenhaus, J
    Loría-Sáenz, C
    Middeldorp, A
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 236 (1-2) : 209 - 232
12345