AN INTERACTIVE ENHANCEMENT TO THE BOYER-MOORE THEOREM PROVER

被引：0
|
作者：
KAUFMANN, M [1 ]
机构：
[1] COMPUTAT LOG INC,AUSTIN,TX 78703
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 310卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：735 / 736
页数：2
相关论文
共 50 条
  • [31] A NEW PROOF OF THE LINEARITY OF THE BOYER-MOORE STRING SEARCHING ALGORITHM
    GUIBAS, LJ
    ODLYZKO, AM
    SIAM JOURNAL ON COMPUTING, 1980, 9 (04) : 672 - 682
  • [32] Visual Approach of Searching Process using Boyer-Moore Algorithm
    Rahim, Robbi
    Ahmar, Ansari Saleh
    Ardyanti, Ayu Putri
    Nofriansyah, Dicky
    INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY (ICONICT), 2017, 930
  • [33] Composite string matching algorithm based on boyer-moore method
    Huang, Wenqi
    Xiong, Zhengda
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2009, 37 (12): : 48 - 51
  • [34] A CORRECT PREPROCESSING ALGORITHM FOR BOYER-MOORE STRING-SEARCHING
    RYTTER, W
    SIAM JOURNAL ON COMPUTING, 1980, 9 (03) : 509 - 512
  • [35] Research on intrusion detection based on Boyer-Moore pattern matching algorithm
    Li, Yulong
    Li, Chenhao
    Jiao, Yang
    Zhao, Guogang
    Liu, Yang
    Zhang, Tian
    PROCEEDINGS OF 2023 7TH INTERNATIONAL CONFERENCE ON ELECTRONIC INFORMATION TECHNOLOGY AND COMPUTER ENGINEERING, EITCE 2023, 2023, : 1490 - 1494
  • [36] The Abella interactive theorem prover
    Gacek, Andrew
    AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 154 - 161
  • [37] 基于WinPcap和Boyer-Moore的IDS的实现
    陈丹
    李际军
    郑增威
    计算机应用, 2004, (05) : 47 - 49
  • [38] 对Boyer-Moore定理证明器的若干改进
    姜云飞
    吉林大学自然科学学报, 1986, (04) : 109 - 115
  • [39] The Matita Interactive Theorem Prover
    Asperti, Andrea
    Ricciotti, Wilmer
    Coen, Claudio Sacerdoti
    Tassi, Enrico
    AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 64 - +
  • [40] ON THE PREPROCESSING ALGORITHM USED IN THE BOYER-MOORE ALGORITHM FOR STRING SEARCHING.
    Semba, Ichiro
    Journal of information processing, 1986, 9 (04) : 228 - 231
12345