 | 2009 |
|---|
| 11 |       | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Existentially Closed Models and Conservation Results in Bounded Arithmetic.
J. Log. Comput. 19(1): 123-143 (2009) |
| 2007 |
|---|
| 10 | | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
On Rules and Parameter Free Systems in Bounded Arithmetic.
CiE 2007: 179-188 |
| 2006 |
|---|
| 9 | | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Envelopes, indicators and conservativeness.
Math. Log. Q. 52(1): 51-70 (2006) |
| 2005 |
|---|
| 8 | | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Fragments of Arithmetic and true sentences.
Math. Log. Q. 51(3): 313-328 (2005) |
| 2004 |
|---|
| 7 | | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
Provably Total Primitive Recursive Functions: Theories with Induction.
CSL 2004: 355-369 |
| 6 | | Andrés Cordón-Franco,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez:
Exploring Computation Trees Associated with P Systems.
Workshop on Membrane Computing 2004: 278-286 |
| 5 | | Andrés Cordón-Franco,
Fernando Sancho-Caparrini:
Approximating Non-discrete P Systems.
Workshop on Membrane Computing 2004: 287-295 |
| 4 | | Andrés Cordón-Franco,
Alejandro Fernández-Margarit,
Francisco Félix Lara Martín:
On the quantifier complexity of bigtriangleupn+1 (T)? induction.
Arch. Math. Log. 43(3): 371-398 (2004) |
| 3 | | Andrés Cordón-Franco,
Fernando Sancho-Caparrini:
A Note on Complexity Measures for Probabilistic P Systems.
J. UCS 10(5): 559-566 (2004) |
| 2 | | Andrés Cordón-Franco,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Fernando Sancho-Caparrini:
A Prolog Simulator for Deterministic P Systems with Active Membranes.
New Generation Comput. 22(4): (2004) |
| 2003 |
|---|
| 1 | | Andrés Cordón-Franco,
Miguel A. Gutiérrez-Naranjo,
Mario J. Pérez-Jiménez,
Agustin Riscos-Núñez,
Fernando Sancho-Caparrini:
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem.
Workshop on Membrane Computing 2003: 140-152 |
