Pages that link to "Item:Q2852095"
From MaRDI portal
The following pages link to Operational semantics and rewriting logic in membrane computing (Q2852095):
Displaying 7 items.
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- Proof techniques in membrane computing (Q1998880) (← links)
- A Temporal Logic for Mutual Mobile Membranes with Objects on Surface (Q3009342) (← links)
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (Q5179127) (← links)
- Defining and Executing P Systems with Structured Data in K (Q5191176) (← links)
- Programming Languages and Systems (Q5308692) (← links)