Decision method of reachability based on rewrite rule overlapping

被引：0
|
作者：
机构：
[1] [1,Shimanuki, Kentaro
[2] Aoto, Takahito
[3] Toyama, Yoshihito
来源：
| 1600年 / Japan Society for Software Science and Technology卷 / 33期
关键词：
721.1 Computer Theory; Includes Formal Logic; Automata Theory; Switching Theory; Programming Theory - 821 Agricultural Equipment and Methods; Vegetation and Pest Control - 921 Mathematics - 931.1 Mechanics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
9
引用
收藏
相关论文
共 50 条
  • [41] A decision rule-based method for feature selection in predictive data mining
    Lutu, Patricia E. N.
    Engelbrecht, Andries P.
    EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (01) : 602 - 609
  • [42] Decision rule mining for machining method chains based on rough set theory
    Wang, Rui
    Guo, Xiangyu
    Zhong, Shisheng
    Peng, Gaolei
    Wang, Lin
    JOURNAL OF INTELLIGENT MANUFACTURING, 2022, 33 (03) : 799 - 807
  • [43] Construction method of aviation swarm decision rule base based on scenario analysis
    Hu L.
    Liang X.
    He L.
    Zhang J.
    Ren B.
    Qi D.
    Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2020, 41
  • [44] Decision rule mining for machining method chains based on rough set theory
    Rui Wang
    Xiangyu Guo
    Shisheng Zhong
    Gaolei Peng
    Lin Wang
    Journal of Intelligent Manufacturing, 2022, 33 : 799 - 807
  • [45] Distributed Larch Prover (DLP): An experiment in parallelizing a rewrite-rule based prover
    Vandevoorde, MT
    Kapur, D
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 420 - 423
  • [46] COMPILING CONCURRENT REWRITING ONTO THE REWRITE RULE MACHINE
    AIDA, H
    GOGUEN, J
    MESEGUER, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 320 - 332
  • [47] On prefixal one-rule string rewrite systems
    Latteux, Michel
    Roos, Yves
    THEORETICAL COMPUTER SCIENCE, 2019, 795 : 240 - 256
  • [48] CONVERSION OF DECISION TABLES BY RULE MASK METHOD WITHOUT RULE MASK
    DATHE, G
    COMMUNICATIONS OF THE ACM, 1972, 15 (10) : 906 - &
  • [49] A Decision Diagram Operation for Reachability
    Brand, Sebastiaan
    Back, Thomas
    Laarman, Alfons
    FORMAL METHODS, FM 2023, 2023, 14000 : 514 - 532
  • [50] SIMULATION OF TURING-MACHINES BY A REGULAR REWRITE RULE
    DAUCHET, M
    THEORETICAL COMPUTER SCIENCE, 1992, 103 (02) : 409 - 420
12345