Pages that link to "Item:Q2852133"
From MaRDI portal
The following pages link to A formalization of membrane systems with dynamically evolving structures (Q2852133):
Displaying 6 items.
- A formal framework for spiking neural P systems (Q1982991) (← links)
- Simulation challenges in membrane computing (Q1982994) (← links)
- Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer $$\omega $$-Languages (Q2945564) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- Numerical networks of cells (Q6038704) (← links)
- A tutorial on the formal framework for spiking neural P systems (Q6136470) (← links)
