An introduction to \(\mathrm{cP}\) systems
From MaRDI portal
Publication:1709914
DOI10.1007/978-3-030-00265-7_17OpenAlexW2891306918MaRDI QIDQ1709914
Radu Nicolescu, Alec Henderson
Publication date: 15 January 2019
Full work available at URL: https://doi.org/10.1007/978-3-030-00265-7_17
Related Items (9)
A sublinear Sudoku solution in cP systems and its formal verification ⋮ Turing completeness of water computing ⋮ An efficient labelled nested multiset unification algorithm ⋮ Formal verification of cP systems using Coq ⋮ Sublinear P system solutions to NP-complete problems ⋮ Programmable and parallel water computing ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Solving a PSPACE-complete problem with cP systems ⋮ Alternative representations of P systems solutions to the graph colouring problem
This page was built for publication: An introduction to \(\mathrm{cP}\) systems