2007 |
10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Andrés Cordón-Franco,
Fernando Sancho-Caparrini:
Approximating Non-discrete P Systems.
Workshop on Membrane Computing 2004: 287-295 |
4 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |