Pages that link to "Item:Q2493281"

The following pages link to Solving the subset-problem by P systems with active membrans (Q2493281):

Displaying 9 items.

• Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
• Bounding the space in P systems with active membranes (Q1982967) (← links)
• Seeking computational efficiency boundaries: the Păun's conjecture (Q1982986) (← links)
• Monodirectional tissue P systems with channel states (Q2055533) (← links)
• The computational power of enzymatic numerical P systems working in the sequential mode (Q2413310) (← links)
• Membrane computing to enhance time efficiency of minimum dominating set (Q2630783) (← links)
• Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
• LOGIC AND ARITHMETIC OPERATIONS WITH A CONSTANT NUMBER OF STEPS IN MEMBRANE COMPUTING (Q2997920) (← links)
• Active P-colonies (Q6154804) (← links)