Pages that link to "Item:Q6156939"
From MaRDI portal
The following pages link to Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939):
Displaying 4 items.
- Specification and modelling of computing systems through graphs and graph transformation (Q6052952) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
- Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
- Fuzzy presheaves are quasitoposes (Q6535509) (← links)