Biblio

Export 289 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: Type is Conference Contributions  [Clear All Filters]
1998
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
Martín-Vide, C., Pazos-Díaz J., Paun G., & Rodríguez-Patón A. (2002).  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. COCOON '02: Proceedings of the 8th Annual International Conference on Computing and Combinatorics. 290-299.
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
Paun, G. (2003).  Trends in Membrane Computing. First Annual Meeting of the European Molecular Computing Consortium.
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity Classes in Cellular Computing with Membranes. First Annual Meeting of the European Molecular Computing Consortium. 18.
Díaz-Pernil, D., Pérez-Jiménez M. J., & Ramos-Espina A. J. (2003).  Molecular programs as formal systems. (E. Alvarez, R. Bosch, L. Villamil, Ed.).12th International Congress of Logic, Methodology and Philosophy of Science. 160-161.
Paun, G. (2003).  Membrane Computing - Power and Efficiency: Recent Results. First Joint Meeting between the RSME and the AMS.
Margenstern, M., Paun G., Rogozhin Y., & Verlan S. (2003).  Context-Free Insertion-Deletion Systems. First Annual Meeting of the European Molecular Computing Consortium.

Statistics

  • Books (11)
  • Edited Books (28)
  • Contributions to Book Chapters (42)
  • Journal Papers (421)
  • Papers in Collective Volumes (0)
  • Technical Reports (3)
  • Conference Contributions (289)
  • Conference Proceedings (38)