Pages that link to "Item:Q2852135"
From MaRDI portal
The following pages link to 3-Col problem modelling using simple kernel P systems (Q2852135):
Displayed 15 items.
- Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem (Q403007) (← links)
- Dendrite P systems (Q1982409) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- P system as a computing tool for embedded feature selection and classification method for microarray cancer data (Q2055833) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Alternative representations of P systems solutions to the graph colouring problem (Q2299885) (← links)
- A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division (Q2318240) (← links)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- A Uniform Family of Tissue P Systems with Protein on Cells Solving 3-Coloring in Linear Time (Q2945571) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- Probabilistic Guarded P Systems, A New Formal Modelling Framework (Q3454890) (← links)
- Small Universal Numerical P Systems with Thresholds for Computing Functions (Q4988934) (← links)
- A uniform family of tissue P systems with protein on cells solving 3-coloring in linear time (Q6061997) (← links)
- Towards automated deduction in cP systems (Q6154793) (← links)