P systems based computing polynomials: design and formal verification

WeiTao Yuan, Gexiang Zhang, Mario J. Pérez-Jiménez, Tao Wang, Zhiwei Huang. P systems based computing polynomials: design and formal verification. Natural Computing, 15(4):591-596, 2016. [doi]

Authors

WeiTao Yuan

This author has not been identified. Look up 'WeiTao Yuan' in Google

Gexiang Zhang

This author has not been identified. Look up 'Gexiang Zhang' in Google

Mario J. Pérez-Jiménez

This author has not been identified. Look up 'Mario J. Pérez-Jiménez' in Google

Tao Wang

This author has not been identified. Look up 'Tao Wang' in Google

Zhiwei Huang

This author has not been identified. Look up 'Zhiwei Huang' in Google