The following pages link to Computing with membranes (Q1582013):
Displaying 7 items.
- Spiking neural P systems with mute rules (Q6559032) (← links)
- Dynamic threshold spiking neural P systems with weights and multiple channels (Q6589848) (← links)
- Towards a general methodology for formal verification on spiking neural P systems (Q6590079) (← links)
- Solving the SAT problem by cell-like P systems with channel states and symport rules (Q6607641) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
- Introducing variables in the evolution rules of P systems (Q6647766) (← links)
- Homeostasis tissue-like P systems with cell separation (Q6658086) (← links)
