Home

Biblio

Export 837 results:
Sort by: Author Title Type [ Year (Asc)]
1988
Pérez-Jiménez, M. J. (1988).  Teoría de Clases y Conjuntos. XVIII+582.
1992
Pérez-Jiménez, M. J. (1992).  Esquemas del Máximo en la Aritmética. 9+2 microfilms.
1993
Fernández-Margarit, A., & Pérez-Jiménez M. J. (1993).  Algunos Resultados y Problemas sobre Modelos de la Aritmética. Trabajos de Lógica y Computación. 42.
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
Paun, G. (1998).  Computing with Membranes. Turku Centre for Computer Science.
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
Paun, G. (2000).  Computing with Membranes. Journal of Computer and System Sciences. 61(1), 108-143.
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
Blázquez-Gallego, J., & Pérez-Jiménez M. J. (2001).   Vida Artificial: Estudio y Análisis del Programa SWARM . 104.
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
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  Computación Celular con Membranas: Un Modelo no Convencional . II+107.
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.
Pérez-Jiménez, M. J., & Sancho-Caparrini F. (2002).  A Formalization of Transition P Systems. Fundamenta Informaticae. 49(1-3), 261-272. Abstract
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
Paun, G. (2002).  Membrane Computing. An Introduction. XI+419.
Martín-Vide, C., Paun A., & Paun G. (2002).  Membrane Computing: New Results, New Problems. Bulletin of the European Association for Theoretical Computer Science. 78, 204-209.
Arroyo, F., Baranda A., Castellanos J., & Paun G. (2002).  Membrane Computing: The Power of (Rule) Creation. Journal of Universal Computer Science. 8(3), 369-381. 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
Alonso-Jiménez, J. A., Borrego-Díaz J., Chávez-González A. M., Gutiérrez-Naranjo M. A., & Navarro-Marín J. D. (2002).  A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. IECON'02.
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