A sheaf-theoretic approach to pattern matching and related problems
DOI10.1016/0304-3975(93)90239-PzbMATH Open0783.68088MaRDI QIDQ685382FDOQ685382
Authors: Yellamraju V. Srinivas 
Publication date: 20 March 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- Pattern matching in trace monoids (extended abstract)
- Sheaf algorithms
- scientific article; zbMATH DE number 7650903
- A note on the equivalence problem of \(E\)-patterns
- Pattern-based calculi with finitary matching
- Parameterized pattern matching: Algorithms and applications
- scientific article; zbMATH DE number 1234889
- Algebraic matching theory
- scientific article; zbMATH DE number 996504
Grothendieck topologyderivation of a pattern-matching algorithmgeometry of matchingspecification for pattern matchingtheory of pattern matching
Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10) Theory of computing (68Q99)
Cites Work
- Efficient string matching
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An efficient context-free parsing algorithm
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Program development by stepwise refinement
- Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
- Title not available (Why is that?)
- Fast Pattern Matching in Strings
- Programming as a Discipline of Mathematical Nature
- A Technique for Extending Rapid Exact-Match String Matching to Arrays of More than One Dimension
- Pattern Matching in Trees
- Title not available (Why is that?)
- Title not available (Why is that?)
- Topoi. The categorial analysis of logic. Rev. ed
- Title not available (Why is that?)
- Completeness results for intuitionistic and modal logic in a categorical setting
- Finite Differencing of Computable Expressions
- Title not available (Why is that?)
- Top-down synthesis of divide-and-conquer algorithms
- Formal derivation of a pattern matching algorithm
- Playing with patterns, searching for strings
- The basic algebraic structures in categories of derivations
- What is a Sheaf?
- A sheaf-theoretic approach to pattern matching and related problems
Cited In (4)
Uses Software
This page was built for publication: A sheaf-theoretic approach to pattern matching and related problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685382)
