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)

zbMATH Keywords

Grothendieck topologyderivation of a pattern-matching algorithmgeometry of matchingspecification for pattern matchingtheory of pattern matching

Mathematics Subject Classification ID

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

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

• 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?)
• A Technique for Extending Rapid Exact-Match String Matching to Arrays of More than One Dimension
• A sheaf-theoretic approach to pattern matching and related problems
• 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
• 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)

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

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)