Pages that link to "Item:Q5179127"
From MaRDI portal
The following pages link to Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (Q5179127):
Displaying 8 items.
- Reversing computation in membrane systems (Q974138) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- Memory associated with membranes systems (Q1983012) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions (Q5170164) (← links)
