•  34
    Satisfiability testing for Boolean formulas using δ-trees
    with G. Gutiérrez, I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde
    Studia Logica 72 (1). 2002.
    The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size…Read more
  •  9
    Virgitnité et Mariage selon Origène
    Augustinianum 4 (1): 211-211. 1964.
  •  9
    Santayana, arqueólogo de la pasión
    Teorema: International Journal of Philosophy 21 (1): 261-263. 2002.
  •  7
    Ŷābir b. Aflaḥ al-Išbīlī, conocido como Geber filius Afflay Hispalensis en la Europa medieval, fue un matemático y astrónomo teórico que probablemente floreció en Sevilla durante el primer cuarto del s. XII. Ŷābir b. Aflaḥ es un astrónomo medieval importante gracias a su obra principal, IIṣlāḥ al-Maŷisṭī, traducida al latín y al hebreo. Con el IIṣlāḥ al-Maŷisṭī, su autor pretende reescribir el Almagesto a la vez que introduce algunas correcciones. En 1984, A.I. Sabra, en su importante artículo «…Read more
  •  6
    Satisfiability Testing for Boolean Formulas Using Δ-Trees
    with G. Gutiérrez, I. P. De Guzmán, M. Ojeda-Aciego, and A. Valverde
    Studia Logica 72 (1). 2002.
    The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the si…Read more
  • Unifying the Philosophy of Truth. (edited book)
    with Achourioti Dora and Galinon Henri
    Springer. forthcoming.
  • Le radici dell’arte
    Studi di Estetica 42 15-36. 2010.
  • El acto de escribir con sentido
    Paideia 22 (56): 303-314. 2001.
  • López Medel, J., El derecho, forma dinámica de la vida social (review)
    Anales de la Cátedra Francisco Suárez 4 (2). 1964.
  • La Fundación Xavier Zubiri
    with Antonio González
    Paideia 27 (76): 345-357. 2006.
  • Dos lagunas en la carta "Progresso Mihi" de Vives a Erasmo
    Salmanticensis 18 (2-3): 377-384. 1971.