• Ponencia
      Icon

      Matrix Languages, Register Machines, Vector Addition Systems 

      Freund, Rudolf; Ibarra, Óscar H.; Paun, Gheorghe; Yen, Hsu-Chen (Fénix Editora, 2005)
      We give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with ...
    • Ponencia
      Icon

      Normal Forms for Spiking Neural P Systems 

      Ibarra, Óscar H.; Paun, Andrei; Paun, Gheorghe; Rodríguez Patón, Alfonso; Sosík, Petr; Woodworth, Sara (Fénix Editora, 2006)
      The spiking neural P systems are a class of computing devices recently introduced as a bridge between spiking neural nets ...