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

Related Items (1)

Formal verification of cP systems using PAT3 and ProB

Cites Work

• 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
• Unnamed Item
• Unnamed Item

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