Pages that link to "Item:Q4922072"
From MaRDI portal
The following pages link to The Algebra of Directed Acyclic Graphs (Q4922072):
Displaying 19 items.
- Interacting Hopf algebras (Q308156) (← links)
- On a class of algebras associated to directed graphs (Q813311) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- An algebra for directed bigraphs (Q2870313) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- A formal language for cyclic operads (Q3121012) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Alphabets of Acyclic Invariant Structures (Q4601131) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- (Q5013809) (← links)
- (Q5014444) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- THE CHECK OF THE CORRESPONDENCE OF THE DIRECTED GRAPH TO THE ALGEBRAIC LATTICE (Q5151231) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Towards compositional graph theory (Q5971395) (← links)
- A compositional framework for Petri nets (Q6666780) (← links)