A sheaf-theoretic approach to pattern matching and related problems (Q685382): Difference between revisions

@@ Property / cites work @@
+Efficient string matching
@@ Property / cites work: Efficient string matching / rank @@
+Normal rank
@@ Property / cites work @@
+A Technique for Extending Rapid Exact-Match String Matching to Arrays of More than One Dimension
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic algebraic structures in categories of derivations
+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 @@
+Q3789086
@@ Property / cites work: Q3789086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+An efficient context-free parsing algorithm
@@ Property / cites work: An efficient context-free parsing algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic. Rev. ed
@@ Property / cites work: Topoi. The categorial analysis of logic. Rev. ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern Matching in Trees
@@ Property / cites work: Pattern Matching in Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / 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 @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for intuitionistic and modal logic in a categorical setting
+Normal rank
@@ Property / cites work @@
+Finite Differencing of Computable Expressions
@@ Property / cites work: Finite Differencing of Computable Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040030
@@ Property / cites work: Q4040030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666704
@@ Property / cites work: Q5666704 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a Sheaf?
@@ Property / cites work: What is a Sheaf? / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down synthesis of divide-and-conquer algorithms
+Normal rank
@@ Property / cites work @@
+A sheaf-theoretic approach to pattern matching and related problems
+Normal rank
@@ Property / cites work @@
+Q4071939
@@ Property / cites work: Q4071939 / rank @@
+Normal rank
@@ Property / cites work @@
+Playing with patterns, searching for strings
@@ Property / cites work: Playing with patterns, searching for strings / rank @@
+Normal rank
@@ Property / cites work @@
+Program development by stepwise refinement
@@ Property / cites work: Program development by stepwise refinement / rank @@
+Normal rank