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 条
  • [21] BOYER-MOORE APPROACH TO APPROXIMATE STRING MATCHING
    TARHIO, J
    UKKONEN, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 447 : 348 - 359
  • [22] A FORMALIZATION OF A SUBSET OF VHDL IN THE BOYER-MOORE LOGIC
    RUSSINOFF, DM
    FORMAL METHODS IN SYSTEM DESIGN, 1995, 7 (1-2) : 7 - 25
  • [23] Boyer-Moore串匹配算法的改进
    韩光辉
    曾诚
    计算机应用, 2014, 34 (03) : 865 - 868
  • [24] A Boyer-Moore type algorithm for compressed pattern matching
    Shibata, Y
    Matsumoto, T
    Takeda, M
    Shinohara, A
    Arikawa, S
    COMBINATORIAL PATTERN MATCHING, 2000, 1848 : 181 - 194
  • [25] Approximate Boyer-Moore String Matching for Small Alphabets
    Salmela, Leena
    Tarhio, Jorma
    Kalsi, Petri
    ALGORITHMICA, 2010, 58 (03) : 591 - 609
  • [26] Fingerprint Identification using Bozorth and Boyer-Moore Algorithm
    Supatmi, S.
    Sumitra, I. D.
    2ND INTERNATIONAL CONFERENCE ON INFORMATICS, ENGINEERING, SCIENCE, AND TECHNOLOGY (INCITEST 2019), 2019, 662
  • [27] Approximate Boyer-Moore String Matching for Small Alphabets
    Leena Salmela
    Jorma Tarhio
    Petri Kalsi
    Algorithmica, 2010, 58 : 591 - 609
  • [28] ON THE COMPARISON OF HOL AND BOYER-MOORE FOR FORMAL HARDWARE VERIFICATION
    ANGELO, CM
    VERKEST, D
    CLAESEN, L
    DEMAN, H
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (01) : 45 - 72
  • [29] A Boyer-Moore Type Algorithm for Timed Pattern Matching
    Waga, Masaki
    Akazaki, Takumi
    Hasuo, Ichiro
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2016, 2016, 9884 : 121 - 139
  • [30] A DESCRIPTION METHODOLOGY FOR PARAMETERIZED MODULES IN THE BOYER-MOORE LOGIC
    VERKEST, D
    VANDENBERGH, J
    CLAESEN, L
    DEMAN, H
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 37 - 57
12345