Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm (Q1853605): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A fast string searching algorithm
@@ Property / cites work: A fast string searching algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+The ''Hoare logic'' of concurrent programs
@@ Property / cites work: The ''Hoare logic'' of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219751
@@ Property / cites work: Q3219751 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast pattern matching algorithm derived by transformational and assertional reasoning
+Normal rank
@@ Property / cites work @@
+A Correct Preprocessing Algorithm for Boyer–Moore String-Searching
+Normal rank
@@ Property / cites work @@
+A taxonomy of sublinear multiple keyword pattern matching algorithms
+Normal rank