-
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
-
19Creep mechanism of gas-pressure-sintered silicon nitride polycrystals I. Macroscopic and microscopic experimental studyPhilosophical Magazine 84 (31): 3375-3386. 2004.
-
21Creep mechanism of gas-pressure-sintered silicon nitride polycrystals II. Deformation mechanismPhilosophical Magazine 84 (31): 3387-3395. 2004.
-
18A critical analysis and a recent improvement of the two-dimensional model for solution–precipitation creep: application to silicon nitride ceramicsPhilosophical Magazine 84 (22): 2305-2316. 2004.
-
19Plastic deformation by conservative shear-coupled migration of tilt boundaries with intergranular nano-cracks or precipitatesPhilosophical Magazine 90 (27-28): 3743-3756. 2010.
-
7Obstacles to Mathematization in Physics: The Case of the DifferentialScience & Education 24 (5-6): 591-613. 2015.
-
97Unifying the Philosophy of Truth (edited book)Imprint: Springer. 2015.This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amsterdam), Truth at Work (Paris), Paradoxes of Truth and Denotation (Barcelona) and Axiomatic Theories of Tr…Read more
Fresno, California, United States of America