Andrés Cordón-Franco

31 papers B 1C 3Misc 1Journal 23Unranked 3
YearRankTypeTitle / Venue / Authors
2024 C conf
Lipschitz Determinacy and Arithmetic Transfinite Recursion.
CiE
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
2024 J jnl
On Conditional Axioms and Associated Inference Rules.
Axioms
Joaquín Borrego-Díaz, Andrés Cordón-Franco, Francisco Félix Lara Martín
2024 J jnl
Semi-honest subrecursive degrees and the collection rule in arithmetic.
Arch. Math. Log.
Andrés Cordón-Franco, Francisco Félix Lara Martín
2023 J jnl
Lipschitz and Wadge binary games in second order arithmetic.
Ann. Pure Appl. Log.
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
2017 J jnl
Predicativity through Transfinite Reflection.
J. Symb. Log.
Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín
2016 J jnl
Existentially Closed Models in the Framework of Arithmetic.
J. Symb. Log.
Zofia Adamowicz, Andrés Cordón-Franco, Francisco Félix Lara Martín
2015 J jnl
A geometric protocol for cryptography with cards.
Des. Codes Cryptogr.
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2014 J jnl
Local induction and provably total computable functions.
Ann. Pure Appl. Log.
Andrés Cordón-Franco, Francisco Félix Lara Martín
2014 J jnl
On axiom schemes for T-provably Δ
Arch. Math. Log.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2013 J jnl
A colouring protocol for the generalized Russian cards problem.
Theor. Comput. Sci.
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013 J jnl
A geometric protocol for cryptography with cards
CoRR
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013 J jnl
Dynamic Consequence and Public announcement.
Rev. Symb. Log.
Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández
2013 J jnl
On the optimality of conservation results for local reflection in arithmetic.
J. Symb. Log.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2012 J jnl
A colouring protocol for the generalized Russian cards problem
CoRR
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2012 J jnl
A secure additive protocol for card players.
Australas. J Comb.
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2012 C conf
Local Induction and Provably Total Computable Functions: A Case Study.
CiE
Andrés Cordón-Franco, Francisco Félix Lara Martín
2011 J jnl
A note on parameter free Π
Math. Log. Q.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2011 J jnl
A secure additive protocol for card players
CoRR
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011 Misc conf
Secure Communication of Local States in Interpreted Systems.
DCAI
Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2009 J jnl
Existentially Closed Models and Conservation Results in Bounded Arithmetic.
J. Log. Comput.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2007 J jnl
A note on Σ
J. Symb. Log.
Andrés Cordón-Franco, Francisco Félix Lara Martín
2007 C conf
On Rules and Parameter Free Systems in Bounded Arithmetic.
CiE
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2006 J jnl
Envelopes, indicators and conservativeness.
Math. Log. Q.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2005 J jnl
Fragments of Arithmetic and true sentences.
Math. Log. Q.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2004 J jnl
A Note on Complexity Measures for Probabilistic P Systems.
J. Univers. Comput. Sci.
Andrés Cordón-Franco, Fernando Sancho-Caparrini
2004 J jnl
A Prolog Simulator for Deterministic P Systems with Active Membranes.
New Gener. Comput.
Andrés Cordón-Franco, Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini
2004 — conf
Approximating Non-discrete P Systems.
Workshop on Membrane Computing
Andrés Cordón-Franco, Fernando Sancho-Caparrini
2004 — conf
Exploring Computation Trees Associated with P Systems.
Workshop on Membrane Computing
Andrés Cordón-Franco, Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez
2004 J jnl
On the quantifier complexity of bigtriangleup
Arch. Math. Log.
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2004 B conf
Provably Total Primitive Recursive Functions: Theories with Induction.
CSL
Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
2003 — conf
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem.
Workshop on Membrane Computing
Andrés Cordón-Franco, Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Fernando Sancho-Caparrini