Francisco Flix Lara Martn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2004–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CiE | Lipschitz Determinacy and Arithmetic Transfinite Recursion. | Andrs Cordn-Franco, Francisco Flix Lara Martn, Manuel J. S. Loureiro |
| 2012 | CiE | Local Induction and Provably Total Computable Functions: A Case Study. | Andrs Cordn-Franco, Francisco Flix Lara Martn |
| 2007 | CiE | On Rules and Parameter Free Systems in Bounded Arithmetic. | Andrs Cordn-Franco, Alejandro Fernndez-Margarit, Francisco Flix Lara Martn |
| 2004 | CSL | Provably Total Primitive Recursive Functions: Theories with Induction. | Andrs Cordn-Franco, Alejandro Fernndez-Margarit, Francisco Flix Lara Martn |