Sheaf algorithms

zbMATH Open1150.18306MaRDI QIDQ3416403FDOQ3416403

Authors: Elena Şendroiu 

Publication date: 22 January 2007

Recommendations

• Sheaf tools for computation
• A sheaf-theoretic approach to pattern matching and related problems
• Sheaves, objects, and distributed systems
• Sheaf semantics for concurrent interacting objects
• Sheaves and geometric logic and applications to modular verification of complex systems

zbMATH Keywords

authenticationcategoriespresheavessievesheavessite

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) General topics in the theory of algorithms (68W01)

Cited In (3)

• A sheaf-theoretic approach to pattern matching and related problems
• Sheaf tools for computation
• Connections between graphs and sheaves

This page was built for publication: Sheaf algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3416403)