scientific article

zbMath0971.68055MaRDI QIDQ2707535

Andrei Păun

Publication date: 30 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

P systemscomputing with membranes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (13)

A sublinear Sudoku solution in cP systems and its formal verification ⋮ From regulated rewriting to computing with membranes: collapsing hierarchies ⋮ Solving the N-queens problem using dP systems with active membranes ⋮ A linear time complexity of breadth-first search using P system with membrane division ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion ⋮ Time-free solution to SAT problem by P systems with active membranes and standard cell division rules ⋮ Characterizing Membrane Structures Through Multiset Tree Automata ⋮ Solution to PSPACE-complete problem using P systems with active membranes with time-freeness ⋮ Cell-like P systems with polarizations and minimal rules ⋮ Membrane automata for modeling biomolecular processes ⋮ \(P\) systems with active membranes and without polarizations ⋮ A guide to membrane computing.

This page was built for publication: