Pages that link to "Item:Q2819836"
From MaRDI portal
The following pages link to Full Abstraction for Signal Flow Graphs (Q2819836):
Displayed 25 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)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Contextual equivalence for signal flow graphs (Q2200814) (← 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)
- (Q3384925) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- (Q5013817) (← links)
- (Q5018498) (← links)
- (Q5021229) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- Refinement for signal flow graphs (Q5111638) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- (Q5875399) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- Towards compositional graph theory (Q5971395) (← links)