×
Edit Profile (opens in new tab)

Cordón-Franco, Andrés

Co-Author Distance
Author ID: cordon-franco.andres Recent zbMATH articles by "Cordón-Franco, Andrés"
Published as: Cordón-Franco, Andrés; Cordón-Franco, A.; Cordón-Franco, Andres; Franco, Andrés Cordón
External Links: MGP · ORCID
Documents Indexed: 25 Publications since 2004
Co-Authors: 13 Co-Authors with 25 Joint Publications
323 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
17 Lara-Martín, Francisco Felix
11 Fernández Margarit, Alejandro
4 Fernández Duque, David
4 van Ditmarsch, Hans Pieter
3 Gutiérrez-Naranjo, Miguel A.
3 Pérez-Jiménez, Mario J.
3 Sancho-Caparrini, Fernando
3 Soler-Toscano, Fernando
2 Joosten, Joost J.
2 Riscos-Núñez, Agustín
1 Adamowicz, Zofia
1 Loureiro, Manuel J. S.
1 Nepomuceno-Fernández, Ángel
all top 5

Serials

4 The Journal of Symbolic Logic
3 Archive for Mathematical Logic
3 Mathematical Logic Quarterly (MLQ)
2 Annals of Pure and Applied Logic
1 Theoretical Computer Science
1 New Generation Computing
1 Journal of Logic and Computation
1 Designs, Codes and Cryptography
1 The Australasian Journal of Combinatorics
1 The Review of Symbolic Logic

Fields

18 Mathematical logic and foundations (03-XX)
5 Computer science (68-XX)
3 Information and communication theory, circuits (94-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

20 Publications have been cited 67 times in 42 Documents Cited by ▼ Year ▼
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
15
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
10
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
9
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
5
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.
4
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
4
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
3
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
2
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
2
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.
2
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.
2
2014
Envelopes, indicators and conservativeness. Zbl 1101.03039
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix
1
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.
1
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
1
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
1
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.
1
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.
1
2013
Dynamic consequence and public announcement. Zbl 1317.03021
Franco, Andrés Cordón; van Ditmarsch, Hans; Nepomuceno, Angel
1
2013
Local induction and provably total computable functions. Zbl 1316.03037
Cordón-Franco, Andrés; Lara-Martín, F. Félix
1
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.
1
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.
1
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
4
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
3
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
10
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.
2
2014
Local induction and provably total computable functions. Zbl 1316.03037
Cordón-Franco, Andrés; Lara-Martín, F. Félix
1
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
15
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.
1
2013
Dynamic consequence and public announcement. Zbl 1317.03021
Franco, Andrés Cordón; van Ditmarsch, Hans; Nepomuceno, Angel
1
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
9
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.
4
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.
1
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.
1
2009
Envelopes, indicators and conservativeness. Zbl 1101.03039
Cordón-Franco, Andrés; Fernández-Margarit, Alejandro; Lara-Martín, F. Félix
1
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
5
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
2
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
2
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.
2
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
1
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
1
2004
all cited Publications top 5 cited Publications
all top 5

Cited by 49 Authors

9 Fernández Duque, David
8 Cordón-Franco, Andrés
6 Lara-Martín, Francisco Felix
6 van Ditmarsch, Hans Pieter
4 Joosten, Joost J.
3 Fernández Margarit, Alejandro
3 French, Tim
3 Rajsbaum, Sergio
2 Ågotnes, Thomas
2 Hetzl, Stefan
2 Pérez-Jiménez, Mario J.
2 Riscos-Núñez, Agustín
2 Soler-Toscano, Fernando
2 Stinson, Douglas Robert
2 Swanson, Colleen M.
2 Vierling, Jannik
2 Visser, Albert
1 Adamowicz, Zofia
1 Aguilera, Juan Pablo
1 Andrei, Oana
1 Areces, Carlos
1 Cassano, Valentín
1 Chida, Eikoh
1 Ciobanu, Gabriel
1 Enayat, Ali
1 Fervari, Raul
1 Gattinger, Malvin
1 Gazdag, Zsolt
1 Goranko, Valentin F.
1 Gutiérrez-Naranjo, Miguel A.
1 Hagland, Tor
1 Hales, James
1 Ishikawa, Rie
1 Jeřábek, Emil
1 Kolmakov, Evgeny A.
1 Kołodziejczyk, Leszek Aleksander
1 Kolonits, Gábor
1 Landerreche, Esteban
1 Leyva-Acosta, Zoe
1 Lucanu, Dorel
1 Mizuki, Takaaki
1 Papafilippou, Konstnatinos
1 Pascual-Aseff, Eduardo
1 Su, Kaile
1 Sundararajan, Vaishnavi
1 Suresh, S. P.
1 van Benthem, Johan F. A. K.
1 van Eijck, Jan
1 Wong, Tin Lok
all top 5

Cited in 15 Serials

5 Theoretical Computer Science
5 Annals of Pure and Applied Logic
5 Archive for Mathematical Logic
4 The Journal of Symbolic Logic
3 Designs, Codes and Cryptography
3 Mathematical Logic Quarterly (MLQ)
2 Studia Logica
1 Discrete Applied Mathematics
1 Fundamenta Mathematicae
1 Information Sciences
1 New Generation Computing
1 The Australasian Journal of Combinatorics
1 The Electronic Journal of Combinatorics
1 Logical Methods in Computer Science
1 Journal of Membrane Computing
all top 5

Cited in 8 Fields

26 Mathematical logic and foundations (03-XX)
13 Computer science (68-XX)
13 Information and communication theory, circuits (94-XX)
3 Combinatorics (05-XX)
1 Geometry (51-XX)
1 General topology (54-XX)
1 Probability theory and stochastic processes (60-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year