Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1
| Title | Formal verification of a transition P system generating the set {2^n+n^2+n:n>=1} |
| Publication Type | Conference Contributions |
| Year of Publication | 2003 |
| Authors | Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. |
| Editors | Cavaliere, M., Martín-Vide C., & Paun G. |
| Conference Name | First Brainstorming Week on Membrane Computing |
| Volume Title | Brainstorming Week on Membrane Computing |
| Place Published | Tarragona, España |
| Pages | 261-269 |
| Date Published | February 5-11 |
| Attachment | Size |
|---|---|
| Formal Verification of a Transition P System Generating the Set ....pdf | 90.02 KB |
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 |