Jump to Content

Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm

Frank Stomp
8th International Conference on Engineering of Complex Computer Systems (ICECCS '02), IEEE CS (2002), pp. 68-77

Abstract

Research Areas