HOCL

swMATH7078MaRDI QIDQ19136

No author found.

Described by source

• Generalised multisets for chemical programming

Related Items (6)

Runtime verification for biochemical programs ⋮ Unnamed Item ⋮ A Port Graph Calculus for Autonomic Computing and Invariant Verification ⋮ Generalized multiset theory ⋮ Unnamed Item ⋮ A Higher-Order Graph Calculus for Autonomic Computing

This page was built for software: HOCL