|
Search the dblp DataBase
Alejandro Fernández-Margarit:
[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, 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]
- Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Induction, minimization and collection for Deltan+1(T)-formulas. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:4, pp:505-542 [Journal]
- Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez
On Overspill Principles and Axiom Schemes for Bounded Formulas. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 1996, v:42, n:, pp:341-348 [Journal]
- Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Some Results on L-Delta-- n+1. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2001, v:47, n:4, pp:503-512 [Journal]
- Mario J. Pérez-Jiménez, Alejandro Fernández-Margarit
Maximum Schemes in Arithmetic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 1994, v:40, n:, pp:425-430 [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, 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.002secs, Finished in 0.002secs
|