A fast pattern matching algorithm derived by transformational and assertional reasoning (Q911750): Difference between revisions

@@ Property / author @@
+Helmut Partsch
@@ Property / author: Helmut Partsch / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Formal derivation of a pattern matching algorithm
@@ Property / cites work: Formal derivation of a pattern matching algorithm / 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 @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996676
@@ Property / cites work: Q3996676 / rank @@
+Normal rank
@@ Property / cites work @@
+Playing with patterns, searching for strings
@@ Property / cites work: Playing with patterns, searching for strings / rank @@
+Normal rank