P systems based computing polynomials with integer coefficients: Design and formal verification
| Title | P systems based computing polynomials with integer coefficients: Design and formal verification |
| Publication Type | Conference Proceedings |
| Year of Publication | 2017 |
| Authors | Zhang, G., Zhu M., Yang Q., Rong H., Yuan W., & Pérez-Jiménez M. J. |
| Conference Name | Asian Conference on Membrane Computing (ACMC 2017) |
| Series Title | Pre-proceedings of Asian Conference on Membrane Computing (ACMC 2017) |
| Pages | 416-443 |
| Date Published | 09/2017 |
Research Group on Natural Computing (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |
|
Mario J. Pérez-Jiménez in the top 2% of scientists of the World |
|
Agustín became Full Professor |
|
Science names our most recent research project |