Andrés Cordón-Franco

Orcid: 0000-0002-5967-2536

According to our database1, Andrés Cordón-Franco authored at least 28 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Conditional Axioms and Associated Inference Rules.
Axioms, May, 2024

Semi-honest subrecursive degrees and the collection rule in arithmetic.
Arch. Math. Log., February, 2024

Lipschitz Determinacy and Arithmetic Transfinite Recursion.
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023
Lipschitz and Wadge binary games in second order arithmetic.
Ann. Pure Appl. Log., October, 2023

2017
Predicativity through Transfinite Reflection.
J. Symb. Log., 2017

2016
Existentially Closed Models in the Framework of Arithmetic.
J. Symb. Log., 2016

2015
A geometric protocol for cryptography with cards.
Des. Codes Cryptogr., 2015

2014
Local induction and provably total computable functions.
Ann. Pure Appl. Log., 2014

On axiom schemes for T-provably Δ<sub>1</sub> formulas.
Arch. Math. Log., 2014

2013
A colouring protocol for the generalized Russian cards problem.
Theor. Comput. Sci., 2013

Dynamic Consequence and Public announcement.
Rev. Symb. Log., 2013

On the optimality of conservation results for local reflection in arithmetic.
J. Symb. Log., 2013

2012
A secure additive protocol for card players.
Australas. J Comb., 2012

Local Induction and Provably Total Computable Functions: A Case Study.
Proceedings of the How the World Computes, 2012

2011
A note on parameter free Π<sub>1</sub>-induction and restricted exponentiation.
Math. Log. Q., 2011

Secure Communication of Local States in Interpreted Systems.
Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2011

2009
Existentially Closed Models and Conservation Results in Bounded Arithmetic.
J. Log. Comput., 2009

2007
A note on Σ<sub>1</sub>-maximal models.
J. Symb. Log., 2007

On Rules and Parameter Free Systems in Bounded Arithmetic.
Proceedings of the Computation and Logic in the Real World, 2007

2006
Envelopes, indicators and conservativeness.
Math. Log. Q., 2006

2005
Fragments of Arithmetic and true sentences.
Math. Log. Q., 2005

2004
A Prolog Simulator for Deterministic P Systems with Active Membranes.
New Gener. Comput., 2004

A Note on Complexity Measures for Probabilistic P Systems.
J. Univers. Comput. Sci., 2004

On the quantifier complexity of bigtriangleup<sub>n+1</sub> (T)? induction.
Arch. Math. Log., 2004

Approximating Non-discrete P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Exploring Computation Trees Associated with P Systems.
Proceedings of the Membrane Computing, 5th International Workshop, 2004

Provably Total Primitive Recursive Functions: Theories with Induction.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem.
Proceedings of the Membrane Computing, International Workshop, 2003


  Loading...