Search: Tarragona, Spain | Research Group on Natural Computing

Search: Tarragona, Spain

2 results

Results

Verification of non deterministic transition P systems solving SAT problem

Fri, 01/04/2008 - 14:00 — ana

Sancho-Caparrini, F., & Pérez-Jiménez M. J. (2003). Verification of non deterministic transition P systems solving SAT problem . (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing. 291-304.

Computing a Partial Mapping by a P System: Design and Verification

Tue, 01/08/2008 - 13:06 — ana

Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2003). Computing a Partial Mapping by a P System: Design and Verification. (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing . 247-260.