Andrés Cordón-Franco

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 6

Top Topics

Sequent Calculus

Arithmetic Operations

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Des. Codes Cryptogr.

Publications

Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara Martín
On Conditional Axioms and Associated Inference Rules. Axioms 13 (5) (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
Lipschitz Determinacy and Arithmetic Transfinite Recursion. CiE (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín
Semi-honest subrecursive degrees and the collection rule in arithmetic. Arch. Math. Log. 63 (1) (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
Lipschitz and Wadge binary games in second order arithmetic. Ann. Pure Appl. Log. 174 (9) (2023)
Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín
Predicativity through Transfinite Reflection. J. Symb. Log. 82 (3) (2017)
Zofia Adamowicz, Andrés Cordón-Franco, Francisco Félix Lara Martín
Existentially Closed Models in the Framework of Arithmetic. J. Symb. Log. 81 (2) (2016)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A geometric protocol for cryptography with cards. Des. Codes Cryptogr. 74 (1) (2015)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
formulas. Arch. Math. Log. 53 (3-4) (2014)
Andrés Cordón-Franco, Francisco Félix Lara Martín
Local induction and provably total computable functions. Ann. Pure Appl. Log. 165 (9) (2014)
Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández
Dynamic Consequence and Public announcement. Rev. Symb. Log. 6 (4) (2013)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A geometric protocol for cryptography with cards CoRR (2013)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A colouring protocol for the generalized Russian cards problem. Theor. Comput. Sci. 495 (2013)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
On the optimality of conservation results for local reflection in arithmetic. J. Symb. Log. 78 (4) (2013)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
A secure additive protocol for card players. Australas. J Comb. 54 (2012)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A colouring protocol for the generalized Russian cards problem CoRR (2012)
Andrés Cordón-Franco, Francisco Félix Lara Martín
Local Induction and Provably Total Computable Functions: A Case Study. CiE (2012)
Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
Secure Communication of Local States in Interpreted Systems. DCAI (2011)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
A secure additive protocol for card players CoRR (2011)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
-induction and restricted exponentiation. Math. Log. Q. 57 (5) (2011)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Existentially Closed Models and Conservation Results in Bounded Arithmetic. J. Log. Comput. 19 (1) (2009)
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)
Andrés Cordón-Franco, Francisco Félix Lara Martín
-maximal models. J. Symb. Log. 72 (3) (2007)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
Envelopes, indicators and conservativeness. Math. Log. Q. 52 (1) (2006)
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) (2005)
Andrés Cordón-Franco, Fernando Sancho-Caparrini
A Note on Complexity Measures for Probabilistic P Systems. J. Univers. Comput. Sci. 10 (5) (2004)
Andrés Cordón-Franco, Fernando Sancho-Caparrini
Approximating Non-discrete P Systems. Workshop on Membrane Computing (2004)
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
(T)? induction. Arch. Math. Log. 43 (3) (2004)
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 Gener. Comput. 22 (4) (2004)
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)
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)
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)