Pages that link to "Item:Q2819836"
From MaRDI portal
The following pages link to Full Abstraction for Signal Flow Graphs (Q2819836):
Displayed 12 items.
- Interacting Hopf algebras (Q308156) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- Generalized relations in linguistics \& cognition (Q1628581) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- The algebra of partial equivalence relations (Q1744396) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Towards compositional graph theory (Q5971395) (← links)