A colouring protocol for the generalized Russian cards problem. Zbl 1295.94176
Cordón-Franco, Andrés; van Ditmarsch, Hans; Fernández-Duque, David; Soler-Toscano, Fernando |
|
2013
|
A geometric protocol for cryptography with cards. Zbl 1351.94036
Cordón-Franco, Andrés; van Ditmarsch, Hans; Fernández-Duque, David; Soler-Toscano, Fernando |
|
2015
|
A secure additive protocol for card players. Zbl 1286.94095
Cordón-Franco, Andrés; van Ditmarsch, Hans; Fernández-Duque, David; Joosten, Joost J.; Soler-Toscano, Fernando |
|
2012
|
Fragments of arithmetic and true sentences. Zbl 1067.03064
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix |
|
2005
|
A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation. Zbl 1238.03048
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2011
|
Predicativity through transfinite reflection. Zbl 1402.03086
Cordón-Franco, Andrés; Fernández-Duque, David; Joosten, Joost J.; Lara-Martín, Francisco Félix |
|
2017
|
Existentially closed models in the framework of arithmetic. Zbl 1345.03071
Adamowicz, Zofia; Cordón-Franco, Andrés; Lara-Martín, F. Félix |
|
2016
|
Provably total primitive recursive functions: Theories with induction. Zbl 1095.03026
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix |
|
2004
|
Exploring computation trees associated with P systems. Zbl 1117.68359
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustín |
|
2005
|
On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction. Zbl 1061.03065
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2004
|
On axiom schemes for \(T\)-provably \(\Delta_1\) formulas. Zbl 1303.03088
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2014
|
Envelopes, indicators and conservativeness. Zbl 1101.03039
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix |
|
2006
|
Conservation results for parameter-free \(\Pi_n\)-induction. Zbl 1245.03094
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2010
|
Implementing in Prolog an effective cellular solution to the knapsack problem. Zbl 1202.68188
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustin; Sancho-Caparrini, Fernando |
|
2004
|
A Prolog simulator for deterministic P systems with active membranes. Zbl 1085.68016
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Sancho-Caparrini, Fernando |
|
2004
|
Existentially closed models and conservation results in bounded arithmetic. Zbl 1163.03020
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2009
|
On the optimality of conservation results for local reflection in arithmetic. Zbl 1316.03036
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2013
|
Dynamic consequence and public announcement. Zbl 1317.03021
Franco, Andrés Cordón; van Ditmarsch, Hans; Nepomuceno, Angel |
|
2013
|
Local induction and provably total computable functions. Zbl 1316.03037
Cordón-Franco, Andrés; Lara-Martín, F. Félix |
|
2014
|
Lipschitz and Wadge binary games in second order arithmetic. Zbl 07719411
Cordón-Franco, Andrés; Lara-Martín, F. Félix; Loureiro, Manuel J. S. |
|
2023
|
Lipschitz and Wadge binary games in second order arithmetic. Zbl 07719411
Cordón-Franco, Andrés; Lara-Martín, F. Félix; Loureiro, Manuel J. S. |
|
2023
|
Predicativity through transfinite reflection. Zbl 1402.03086
Cordón-Franco, Andrés; Fernández-Duque, David; Joosten, Joost J.; Lara-Martín, Francisco Félix |
|
2017
|
Existentially closed models in the framework of arithmetic. Zbl 1345.03071
Adamowicz, Zofia; Cordón-Franco, Andrés; Lara-Martín, F. Félix |
|
2016
|
A geometric protocol for cryptography with cards. Zbl 1351.94036
Cordón-Franco, Andrés; van Ditmarsch, Hans; Fernández-Duque, David; Soler-Toscano, Fernando |
|
2015
|
On axiom schemes for \(T\)-provably \(\Delta_1\) formulas. Zbl 1303.03088
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2014
|
Local induction and provably total computable functions. Zbl 1316.03037
Cordón-Franco, Andrés; Lara-Martín, F. Félix |
|
2014
|
A colouring protocol for the generalized Russian cards problem. Zbl 1295.94176
Cordón-Franco, Andrés; van Ditmarsch, Hans; Fernández-Duque, David; Soler-Toscano, Fernando |
|
2013
|
On the optimality of conservation results for local reflection in arithmetic. Zbl 1316.03036
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2013
|
Dynamic consequence and public announcement. Zbl 1317.03021
Franco, Andrés Cordón; van Ditmarsch, Hans; Nepomuceno, Angel |
|
2013
|
A secure additive protocol for card players. Zbl 1286.94095
Cordón-Franco, Andrés; van Ditmarsch, Hans; Fernández-Duque, David; Joosten, Joost J.; Soler-Toscano, Fernando |
|
2012
|
A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation. Zbl 1238.03048
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2011
|
Conservation results for parameter-free \(\Pi_n\)-induction. Zbl 1245.03094
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2010
|
Existentially closed models and conservation results in bounded arithmetic. Zbl 1163.03020
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2009
|
Envelopes, indicators and conservativeness. Zbl 1101.03039
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix |
|
2006
|
Fragments of arithmetic and true sentences. Zbl 1067.03064
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix |
|
2005
|
Exploring computation trees associated with P systems. Zbl 1117.68359
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustín |
|
2005
|
Provably total primitive recursive functions: Theories with induction. Zbl 1095.03026
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix |
|
2004
|
On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction. Zbl 1061.03065
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. |
|
2004
|
Implementing in Prolog an effective cellular solution to the knapsack problem. Zbl 1202.68188
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustin; Sancho-Caparrini, Fernando |
|
2004
|
A Prolog simulator for deterministic P systems with active membranes. Zbl 1085.68016
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Sancho-Caparrini, Fernando |
|
2004
|