Pages that link to "Item:Q5191176"
From MaRDI portal
The following pages link to Defining and Executing P Systems with Structured Data in K (Q5191176):
Displayed 4 items.
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- P systems with control nuclei: the concept (Q987966) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Simulation and Verification of Synchronous Set Relations in Rewriting Logic (Q3098052) (← links)