Pages that link to "Item:Q5311775"
From MaRDI portal
The following pages link to Some model theory of sheaves of modules (Q5311775):
Displaying 9 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Sheaf models for choice sequences (Q798316) (← links)
- Sheaves as modules (Q969690) (← links)
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- Definable additive categories: purity and model theory (Q3082826) (← links)
- (Q3093856) (← links)
- Covers in finitely accessible categories (Q3552112) (← links)
- (Q4606038) (← links)
- Multisorted modules and their model theory (Q5239170) (← links)