• Ponencia
      Icon

      P Systems based Computing Polynomials: Design and Formal Verification 

      Yuan, Weitao; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús; Wang, Tao; Huang, Zhiwei (IMCS: International Membrane Computing Society, 2015)
      Automatic design of P systems is an attractive research topic in the community of membrane computing. Differing from the ...