The following pages link to Fabio Gadducci (Q344544):
Displaying 7 items.
- Weakly Markov categories and weakly affine monads (Q6430753) (← links)
- Graph Rewriting Components (Q6487304) (← links)
- Specification and verification of a linear-time temporal logic for graph transformation (Q6535505) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)
- A presheaf semantics for quantified temporal logics (Q6562516) (← links)
- Weakly Markov categories and weakly affine monads (Q6643061) (← links)
- Left-Linear Rewriting in Adhesive Categories (Q6735683) (← links)