|
Search the dblp DataBase
Andrés Cordón-Franco:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Provably Total Primitive Recursive Functions: Theories with Induction. [Citation Graph (0, 0)][DBLP] CSL, 2004, pp:355-369 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Workshop on Membrane Computing, 2004, pp:278-286 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Workshop on Membrane Computing, 2003, pp:140-152 [Conf]
- Andrés Cordón-Franco, Fernando Sancho-Caparrini
Approximating Non-discrete P Systems. [Citation Graph (0, 0)][DBLP] Workshop on Membrane Computing, 2004, pp:287-295 [Conf]
- Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
On the quantifier complexity of bigtriangleupn+1 (T)? induction. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:3, pp:371-398 [Journal]
- Andrés Cordón-Franco, Fernando Sancho-Caparrini
A Note on Complexity Measures for Probabilistic P Systems. [Citation Graph (0, 0)][DBLP] J. UCS, 2004, v:10, n:5, pp:559-566 [Journal]
- Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Fragments of Arithmetic and true sentences. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:3, pp:313-328 [Journal]
- Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Envelopes, indicators and conservativeness. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2006, v:52, n:1, pp:51-70 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] New Generation Comput., 2004, v:22, n:4, pp:- [Journal]
- Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
On Rules and Parameter Free Systems in Bounded Arithmetic. [Citation Graph (0, 0)][DBLP] CiE, 2007, pp:179-188 [Conf]
Search in 0.001secs, Finished in 0.002secs
|