A sheaf-theoretic approach to pattern matching and related problems

DOI10.1016/0304-3975(93)90239-PMaRDI QIDQ685382zbMATH OpenFDO

Authors Yellamraju V. Srinivas

Publication date 20 March 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90239-P

zbMATH Keywords

derivation of a pattern-matching algorithmgeometry of matchingGrothendieck topologyspecification for pattern matchingtheory of pattern matching

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99) Parallel algorithms in computer science (68W10)

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

Cites work

• A sheaf-theoretic approach to pattern matching and related problems
• A Technique for Extending Rapid Exact-Match String Matching to Arrays of More than One Dimension
• An efficient context-free parsing algorithm
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Completeness results for intuitionistic and modal logic in a categorical setting
• Efficient string matching
• Fast Pattern Matching in Strings
• Finite Differencing of Computable Expressions
• Formal derivation of a pattern matching algorithm
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 4053042 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 3489364 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3399453 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• scientific article; zbMATH DE number 3421895 (Why is no real title available?)
• Pattern Matching in Trees
• Playing with patterns, searching for strings
• Program development by stepwise refinement
• Programming as a Discipline of Mathematical Nature
• The basic algebraic structures in categories of derivations
• Top-down synthesis of divide-and-conquer algorithms
• Topoi. The categorial analysis of logic. Rev. ed
• What is a Sheaf?

Cited in

(4)

• Accretive computation of global transformations
• Sheaf algorithms
• Towards a sheaf semantics for cooperating agents scenarios
• A sheaf-theoretic approach to pattern matching and related problems

Describes a project that uses

Uses Software

• KIDS

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)