Home

Biblio

Export 379 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is R  [Clear All Filters]
1998
Alonso-Jiménez, J. A., Borrego-Díaz J., Pérez-Jiménez M. J., & Ruiz-Reina J. L. (1998).   Curso Práctico de Teoría de Conjuntos . XXV+345. Abstract
Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á. (1998).  Descripciones funcionales de colección y colección fuerte en la aritmética. I Congreso Iberoamericano de Filosofía.
2000
Graciani-Díaz, C., Pérez-Jiménez M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2000).  NP-Completitud y Computación ADN. (Emilio Briales-Morales, Alfonso Carriazo-Rubio, Tomás Chacón-Rebollo, Pedro Real, Álvaro Romero-Jiménez, Ed.).Encuentro de Matemáticos Andaluces. II, 539-548.
Graciani-Díaz, C., Pérez-Jiménez M. J., & Romero-Jiménez Á. (2000).  Some Functional Schemes in Arithmetic. Logic Colloquium 2000. 154.
Pérez-Jiménez, M. J., Graciani-Díaz C., Romero-Jiménez Á., & Sancho-Caparrini F. (2000).  Soluciones moleculares del problema SAT de la Lógica Proposicional. (Ángel Nepomuceno, José F. Quesada, Francisco J. Salguero, Ed.).Primeras Jornadas sobre Lógica y Lenguaje. 243-252.
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, A., Paun G., & Rozenberg G. (2002).  Computing by Communication in Networks of Membranes. International Journal of Foundations of Computer Science. 13(6), 779-798.
Romero-Jiménez, Á., & Pérez-Jiménez M. J. (2002).  Generation of Diophantine Sets by Computing P Systems with External Output. Lecture Notes in Computer Science. 2509, 176-190. Abstract
Paun, G., & Rozenberg G. (2002).  A guide to membrane computing. Theoretical Computer Science. 287(1), 73 - 100 . Abstract
Martín-Vide, C., Paun G., & Rozenberg G. (2002).  Membrane systems with carriers. Theoretical Computer Science. 270(1-2), 779-796. Abstract
Martín-Vide, C., Paun A., Paun G., & Rozenberg G. (2002).  Membrane Systems with Coupled Transport: Universality and Normal Forms. Fundamenta Informaticae. 49(1-3), 1 - 15 . Abstract
Bottoni, P., Martín-Vide C., Paun G., & Rozenberg G. (2002).  Membrane systems with promoters/inhibitors . Acta Informatica. 38(10), 695-720. Abstract
Martín-Vide, C., Pazos-Sierra J., Paun G., & Rodríguez-Patón A. (2002).  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. Lecture Notes in Computer Science. 2387, 290-299. Abstract
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.
Pérez-Jiménez, M. J., & Romero-Jiménez Á. (2002).  Simulating Turing Machines by P systems with External Output. Fundamenta Informaticae. 49(1-3), 273-287 . Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2002).  Teoría de la Complejidad en Modelos de Computación Celular con Membranas. II+118 pages.
Amos, M., Paun G., Rozenberg G., & Salomaa A. (2002).  Topics in the theory of DNA computing. Theoretical Computer Science. 287(1), 3 - 38 . Abstract
Amos, M., Paun G., Rozenberg G., & Salomaa A. (2002).  Topics in the theory of DNA computing. Theoretical Computer Science. 287(1), 3 - 38 . Abstract
Pérez-Jiménez, M. J., Sancho-Caparrini F., Graciani-Díaz C., & Romero-Jiménez Á. (2002).  Formalización computacional del experimento de Lipton sobre el problema SAT. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326-332.
2003
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Complexity classes in models of cellular computing with membranes. Natural Computing. 2(3), 265 - 285 . Abstract
Pérez-Jiménez, M. J., Romero-Jiménez Á., & Sancho-Caparrini F. (2003).  Decision P systems and the P≠NP conjecture. Lecture Notes in Computer Science. 2597, 388-399. Abstract
Paun, G., Rozenberg G., Salomaa A., & Zandron C. (2003).  Membrane Computing (International Workshop, WMC-CDEA 2002, Revised Papers). VIII+421.
Paun, G., Rozenberg G., Salomaa A., & Zandron C. (2003).  Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers. Lecture Notes in Computer Science. 2597,
Borrego-Díaz, J., Fernández-Margarit A., & Pérez-Jiménez M. J. (2003).  On Sigma-n definability in Arithmetic.. (A. Rojszczak, J. Cachro, G. Kurczewski, Ed.).Philosophical Dimensions of Logic and Science. 47-56.
Paun, G., Pazos-Sierra J., Martín-Vide C., & Rodríguez-Patón A. (2003).  Tissue P systems. Theoretical Computer Science. 296(2), 295-326.

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)