P systems based computing polynomials: design and formal verification

DOI10.1007/S11047-016-9577-YzbMath1415.68103OpenAlexW2462473771MaRDI QIDQ2311269

Gexiang Zhang, Tao Wang, Weitao Yuan, Mario J. Pérez-Jiménez, Zhi-Wei Huang

Publication date: 10 July 2019

Published in: Natural Computing (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/handle//11441/127848

zbMATH Keywords

polynomialmembrane computingP systemautomatic design

Mathematics Subject Classification ID

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

Related Items (1)

Formal verification of cP systems using PAT3 and ProB

Cites Work

• Unnamed Item
• Unnamed Item
• Spiking neural P systems with neuron division and budding
• Computational power of tissue P systems for generating control languages
• Computing with membranes
• Time-free solution to SAT problem using P systems with active membranes
• Evolutionary Design of a Simple Membrane System

This page was built for publication: P systems based computing polynomials: design and formal verification