The following pages link to (Q3384925):
Displaying 6 items.
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Contextual equivalence for signal flow graphs (Q2200814) (← links)
- Confluent Orthogonal Drawings of Syntax Diagrams (Q2959761) (← links)
- (Q3540744) (← links)
- (Q5875359) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)