Andrs Cordn-Franco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2024
Best venue rank
C
Where they publish
Papers
5 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 |
| 2011 | DCAI | Secure Communication of Local States in Interpreted Systems. | Michael H. Albert, Andrs Cordn-Franco, Hans van Ditmarsch, David Fernndez-Duque, Joost J. Joosten, Fernando Soler-Toscano |
| 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 |