Biblio

Export 194 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
2000
2001
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2001).  Initial segments maximal Σₙ-definable sets in fragments of arithmetic. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. IV, 37-38.
2002
Paun, G., Santean N., Thierrin G., & Yu S. (2002).  On the robustness of primitive words . Computación y Sistemas. Revista Iberoamericana de Inteligencia Artificial. 117(1,15), 239-252. Abstract
Paun, G., Sakakibara Y., & Yokomori T. (2002).  P systems on graphs of restricted forms. Publicationes Mathematicae Debrecen. 60, 635-660.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  Verifying a P system generating squares. Romanian Journal of Information Science and Technology. 5(1-2), 181-191.
Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2002).  On the Reachability Problem for P System with Porters. 10th International Conference on Automata and Formal Languages. 1-3.
2003

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (380)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (269)
  • Conference Proceedings (37)