The following pages link to (Q5020951):
Displaying 4 items.
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)