Search: Tarragona, España | Research Group on Natural Computing

Search: Tarragona, España

3 results

Results

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

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

Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003). Formal verification of a transition P system generating the set {2^n+n^2+n:n>=1}. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 261-269.

Pre-Proceedings of Workshop on Membrane Computing, WMC-2003

Mon, 01/14/2008 - 13:11 — ana

Alhazov, A., Martín-Vide C., & Paun G. (2003). Pre-Proceedings of Workshop on Membrane Computing, WMC-2003. Workshop on Membrane Computing, WMC-2003.

Proceedings of the Brainstorming Week on Membrane Computing

Mon, 01/14/2008 - 13:17 — ana

Cavaliere, M., Martín-Vide C., & Paun G. (2003). Proceedings of the Brainstorming Week on Membrane Computing. First Brainstorming Week on Membrane Computing.