Pages that link to "Item:Q1709914"
From MaRDI portal
The following pages link to An introduction to \(\mathrm{cP}\) systems (Q1709914):
Displaying 9 items.
- A sublinear Sudoku solution in cP systems and its formal verification (Q821319) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Solving a PSPACE-complete problem with cP systems (Q1982985) (← links)
- Turing completeness of water computing (Q2152298) (← links)
- An efficient labelled nested multiset unification algorithm (Q2152299) (← links)
- Formal verification of cP systems using Coq (Q2152300) (← links)
- Alternative representations of P systems solutions to the graph colouring problem (Q2299885) (← links)
- Sublinear P system solutions to NP-complete problems (Q6038691) (← links)
- Programmable and parallel water computing (Q6177125) (← links)
