Follow
Andrés Cordón Franco
Title
Cited by
Cited by
Year
A Prolog simulator for deterministic P systems with active membranes
A Cordón-Franco, MA Gutiérrez-Naranjo, MJ Pérez-Jiménez, ...
New Generation Computing 22 (4), 349-363, 2004
442004
A colouring protocol for the generalized Russian cards problem
A Cordón-Franco, H Van Ditmarsch, D Fernández-Duque, ...
Theoretical Computer Science 495, 81-95, 2013
232013
A geometric protocol for cryptography with cards
A Cordón-Franco, H Van Ditmarsch, D Fernández-Duque, ...
Designs, Codes and Cryptography 74 (1), 113-125, 2015
192015
Implementing in Prolog an effective cellular solution to the Knapsack problem
A Cordón-Franco, MA Gutiérrez-Naranjo, MJ Pérez-Jiménez, ...
International Workshop on Membrane Computing, 140-152, 2003
192003
Exploring computation trees associated with P systems
A Cordón-Franco, MA Gutiérrez-Naranjo, MJ Pérez-Jiménez, ...
International Workshop on Membrane Computing, 278-286, 2004
132004
A secure additive protocol for card players
A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, JJ Joosten, ...
arXiv preprint arXiv:1111.0156, 2011
122011
Secure communication of local states in interpreted systems
M Albert, A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, ...
International Symposium on Distributed Computing and Artificial Intelligence …, 2011
122011
Fragments of Arithmetic and true sentences
A Cordón‐Franco, A Fernández‐Margarit, FF Lara‐Martín
Mathematical Logic Quarterly 51 (3), 313-328, 2005
122005
Weak metrics on configurations of a P system
A Cordón Franco, MÁ Gutiérrez Naranjo, MJ Pérez Jiménez, ...
Proceedings of the Second Brainstorming Week on Membrane Computing, 139-151 …, 2004
122004
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 54 (2012), Pages 163–175 A secure
A Cordón-franco, H Van Ditmarsch, D Fernández-duque, JJ Joosten, ...
12*
A note on parameter free Π1‐induction and restricted exponentiation
A Cordón‐Franco, A Fernández‐Margarit, FF Lara‐Martín
Mathematical Logic Quarterly 57 (5), 444-455, 2011
102011
On the quantifier complexity of Δ n+1 (T)– induction
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
Archive for Mathematical Logic 43 (3), 371-398, 2004
82004
On the optimality of conservation results for local reflection in arithmetic
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
The Journal of Symbolic Logic 78 (4), 1025-1035, 2013
62013
Cellular solutions of some numerical NP-complete problems: A Prolog implementation
A Cordón-Franco, MA Gutiérrez-Naranjo, MJ Pérez-Jiménez, ...
Molecular Computational Models: Unconventional Approaches, 115-149, 2005
62005
Secure communication of local states in multi-agent systems
M Albert, A Cordón–Franco, H van Ditmarsch, D Fernández–Duque, ...
Proceedings of the Logics in Security workshop (LIS). ESSLLI 2010, 2010
52010
Provably total primitive recursive functions: theories with induction
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martín
International Workshop on Computer Science Logic, 355-369, 2004
52004
Approximating non-discrete P systems
A Cordón-Franco, F Sancho-Caparrini
International Workshop on Membrane Computing, 287-295, 2004
52004
Local induction and provably total computable functions
A Cordón-Franco, FF Lara-Martín
Annals of Pure and Applied Logic 165 (9), 1429-1444, 2014
42014
Two mischievous dynamic consequence relations
A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, ...
Int. Workshop on Logic and Philosophy of Knowledge, Communication and Action …, 2010
42010
A note on Σ1-maximal models
A Cordón-Franco, A Fernández-Margarit, FF Lara-Martin
The Journal of Symbolic Logic 72 (3), 1072-1078, 2007
42007
The system can't perform the operation now. Try again later.
Articles 1–20