Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1

Tue, 01/08/2008 - 11:38 — ana

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