-
Actas: VIII Conference of the Spanish Society for Logic, Methodology, and Philosophy of Sciences (edited book)Universitat de Barcelona. 2015.
-
17Satisfiability Testing for Boolean Formulas Using Δ-TreesStudia 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
-
54Satisfiability testing for Boolean formulas using δ-treesStudia 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
-
13Hennecke, E., Neutestamentliche Apokryphen in deutscher Uebersetzung (review)Augustinianum 5 (2): 411-412. 1965.
-
25Brunot, Amédée, S. C. J., Saint Paul and his Message (review)Augustinianum 1 (3): 557-557. 1961.
-
28Enchiridion Biblicum. Documenta ecclesiastica Sacram Scripturam spectantia (review)Augustinianum 2 (1): 179-179. 1962.
-
7Zerwick, Max, S. J., Der Brief an die Epheser (Geistliche Schriftlesung 10) (review)Augustinianum 2 (3): 560-560. 1962.
-
13Dizionario Biblico, pubblicato da H. Haag in collaborazione con A. von den Born e nurnerosi specialisti. Prima edizione anlpliata italiana a cura di G. Gennaro, O. F. M (review)Augustinianum 1 (3): 551-552. 1961.
-
21Milik, J. T., Diez años de descubrimientos en el desierto de Judá (review)Augustinianum 2 (3): 564-564. 1962.
-
21Zorell, Franciscus, S. J., Lexicon Graecum Novi Testamenti (review)Augustinianum 1 (3): 552-553. 1961.
-
12Enchiridion Biblicum. Documenta ecclesiastica Sacram Scripturam spectantia (review)Augustinianum 2 (1): 179-179. 1962.
-
12Blinzer, J., Der Prozess Jesu. Das jüdische und das römische Gerichtsverfahren gegen Jesus Christus auf Grund der ältesten Zeugnisse dargestellt und beurteilt (review)Augustinianum 2 (3): 555-557. 1962.
-
2Zerwick, Max, S. J., Der Brief an die Epheser (Geistliche Schriftlesung 10) (review)Augustinianum 2 (3): 560-560. 1962.
-
12Cantinat, Jean, C.M., Les épitres de saint Paul expliquées (review)Augustinianum 2 (1): 169-170. 1962.
-
27Dupont, Jacques, O.S.B., Les sources du Livre des Actes. État de la question (review)Augustinianum 2 (3): 557-558. 1962.
-
12Behler, G.-M., O. P., Les paroles d’adieux du Seigneur (review)Augustinianum 2 (1): 165-166. 1962.
-
10Behler, G.-M., O. P., Les paroles d’adieux du Seigneur (review)Augustinianum 2 (1): 165-166. 1962.
-
21Wikenhauser, Alfred, Introducción al Nuevo Testamento (review)Augustinianum 1 (3): 553-555. 1961.
-
16Introduzione al Nuovo Testamento, a cura di G. Rinaldi e P. de Benedetti (review)Augustinianum 2 (1): 155-158. 1962.
-
20Kerygma und Mythos, Band V: Die Theologie Bultmanns und die Entmythologisierung in der Kritik der katholischen Theologie. Herausgegebenvon Dr. theol. H.-W. Bartsch – Theunis, Franz, C. P., Offenbarung und Glaube bei Rudolf Bultmann. Ergänzung zur Kerygma und Mythos V. Ibidem (review)Augustinianum 1 (3): 558-559. 1961.
-
291Dupont, Jacques, O.S.B., Gnosis. La connaissance religieuse dans les Épitres de saint Paul (review)Augustinianum 2 (3): 559-559. 1962.
-
11Blinzer, J., Der Prozess Jesu. Das jüdische und das römische Gerichtsverfahren gegen Jesus Christus auf Grund der ältesten Zeugnisse dargestellt und beurteilt (review)Augustinianum 2 (3): 555-557. 1962.
-
2Palabra y "areté" en la poesía homérica (Un acercamiento a los orígenes de la estética en Occidente)Diálogo Filosófico 11 178-182. 1988.
-
5Dos lagunas en la carta "Progresso Mihi" de Vives a ErasmoSalmanticensis 18 (2-3): 377-384. 1971.
-
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.
San Nicolás de los Garza, Nuevo León, Mexico
Areas of Interest
Applied Ethics |
Philosophy of the Americas |