Pages that link to "Item:Q4913832"
From MaRDI portal
The following pages link to Membrane Systems and Hypercomputation (Q4913832):
Displaying 9 items.
- Applications of membrane systems in distributed systems (Q952192) (← links)
- Reversing computation in membrane systems (Q974138) (← links)
- Counting membrane systems (Q1749156) (← links)
- Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)
- Membrane system models for super-Turing paradigms (Q2629934) (← links)
- Quantitative Causality in Membrane Systems (Q2890283) (← links)
- Specification, testing and verification of unconventional computations using generalized<i>X</i>-machines (Q2930717) (← links)
- Causality in Membrane Systems (Q5452055) (← links)
- Events, Causality, and Concurrency in Membrane Systems (Q5452058) (← links)