Pages that link to "Item:Q5170164"
From MaRDI portal
The following pages link to Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions (Q5170164):
Displaying 4 items.
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Simulation and Verification of Synchronous Set Relations in Rewriting Logic (Q3098052) (← links)
- A bibliometric analysis of membrane computing (1998--2019) (Q6135718) (← links)