A formalization of membrane systems with dynamically evolving structures
Freund, Rudolf, Pérez-Hurtado, Ignacio, Riscos-Núñez, Agustín, Verlan, SergeyVolume:
90
Language:
english
Journal:
International Journal of Computer Mathematics
DOI:
10.1080/00207160.2012.748899
Date:
April, 2013
File:
PDF, 161 KB
english, 2013