The following pages link to Axioms for bigraphical structure (Q3371524):
Displaying 9 items.
- Using bigraphs to model topological graphs embedded in orientable surfaces (Q383361) (← links)
- An inductive characterization of matching in binding bigraphs (Q1941899) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Matching of bigraphs (Q2867883) (← links)
- Bigraphs and their algebra (Q2870188) (← links)
- An algebra for directed bigraphs (Q2870313) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Systemic computation: A model of interacting systems with natural characteristics (Q3426224) (← links)
- The Algebra of Directed Acyclic Graphs (Q4922072) (← links)