Biblio

Export 30 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: Author is Carmen Graciani-Díaz  [Clear All Filters]
Conference Contributions
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.
Graciani-Díaz, C., Gutiérrez-Naranjo M. A., & Riscos-Núñez A. (2013).  Rete Algorithm for P Systems Simulators. Eleventh Brainstorming Week on Membrane Computing (11BWMC). 125-136. Abstract
Conference Proceedings
Contributions to Book Chapters
Journal Papers

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)