Sheaf algorithms

MaRDI QIDQ3416403zbMATH OpenFDO

Authors Elena Şendroiu

Publication date 22 January 2007

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)

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

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)