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]

@article{YuanZPWH16,
  title = {P systems based computing polynomials: design and formal verification},
  author = {WeiTao Yuan and Gexiang Zhang and Mario J. Pérez-Jiménez and Tao Wang and Zhiwei Huang},
  year = {2016},
  doi = {10.1007/s11047-016-9577-y},
  url = {http://dx.doi.org/10.1007/s11047-016-9577-y},
  researchr = {https://researchr.org/publication/YuanZPWH16},
  cites = {0},
  citedby = {0},
  journal = {Natural Computing},
  volume = {15},
  number = {4},
  pages = {591-596},
}