Pages that link to "Item:Q729807"

The following pages link to The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807):

Displaying 15 items.

• Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
• Contextual equivalence for signal flow graphs (Q2200814) (← links)
• A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
• A recipe for black box functors (Q3294963) (← links)
• Props in Network Theory (Q4585017) (← links)
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
• (Q5009436) (← links)
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
• Refinement for signal flow graphs (Q5111638) (← links)
• (Q5875359) (← links)
• (Q5875361) (← links)
• (Q5875399) (← links)
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
• Completeness of Nominal PROPs (Q5883754) (← links)