- idUS
- Listar por autor
Listar por autor "Cordón Franco, Andrés"
Mostrando ítems 1-20 de 37
-
Artículo
A colouring protocol for the generalized Russian cards problem
Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Elsevier, 2013)In the generalized Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of size a ...
-
Artículo
A geometric protocol for cryptography with cards
Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Springer, 2015)In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from ...
-
Artículo
A Note on Complexity Measures for Probabilistic P Systems
Cordón Franco, Andrés; Sancho Caparrini, Fernando (J.UCS.org, 2004)In this paper we present a first approach to the definition of different entropy measures for probabilistic P systems in ...
-
Artículo
A note on parameter free Π1-induction and restricted exponentiation
Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2011)We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems ...
-
Artículo
A Note on Σ₁-Maximal Models
Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Association for Symbolic Logic, 2007)Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of ...
-
Artículo
A Prolog Simulator for Deterministic P Systems with Active Membranes
Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (Springer, 2004)In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ...
-
Artículo
A secure additive protocol for card players
Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (University of Queensland, 2012)Consider three players Alice, Bob and Cath who hold a, b and c cards, respectively, from a deck of d=a+b+c cards. The cards ...
-
Ponencia
Approximating Non-discrete P Systems
Cordón Franco, Andrés; Sancho Caparrini, Fernando (Springer, 2004)The main goal of this paper is to propose some geometric approaches to the computations of non-discrete P systems. The ...
-
Trabajo Fin de Grado
Aspectos matemáticos de la semántica de los programas lógicos normales
López Palmero, María (2020)El presente trabajo se enmarca en el campo de la Programación Lógica y, más concretamente, en el estudio de la semántica ...
-
Trabajo Fin de Grado
El Axioma de Determinación
Ferre Luque, Antonio (2020)The aim of this work is to study the consequences of assuming the axiom of determinacy regarding perfect set property, ...
-
Capítulo de Libro
Cellular solutions to some numerical NP-complete problems: A prolog implementation
Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Idea Group Inc., 2005)This chapter is devoted to the study of numerical NP-complete problems in the framework of cellular systems with membranes, ...
-
Artículo
Dynamic consequence and public announcement
Cordón Franco, Andrés; Ditmarsch, Hans P. van; Nepomuceno Fernández, Ángel (Cambridge University Press, 2013) -
Trabajo Fin de Grado
Eliminación de cuantificadores para cuerpos algebraicamente cerrados y cuerpos reales cerrados
Ruiz Cardoso, Antonio Miguel (2022-06-22)El proyecto tiene como objetivo estudiar la Teor´ıa de Modelos de los cuerpos algebraicamente cerrados y los cuerpos reales ...
-
Artículo
Envelopes, indicators and conservativeness
Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2006)A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic ...
-
Artículo
Existentially Closed Models and Conservation Results in Bounded Arithmetic
Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Oxford Academic, 2009)We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based ...
-
Artículo
Existentially Closed Models in the Framework of Arithmetic
Adamowicz, Zofia; Cordón Franco, Andrés; Lara Martín, Francisco Félix (The Association for Symbolic Logic, 2016)We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. ...
-
Capítulo de Libro
Exploring Computation Trees Associated with P Systems
Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús; Riscos Núñez, Agustín (Springer, 2005)Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ...
-
Tesis Doctoral
Extensiones de fragmentos de la Aritmética
Cordón Franco, Andrés (2003)El presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, ...
-
Artículo
Fragments of Arithmetic and true sentences
Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2005)By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the ¦n+1–sentences true in the standard model is ...
-
Trabajo Fin de Grado
Fundamentos lógicos de la Inteligencia Artificial: razonamiento no monótono
Darche, Arnaud (2019-09)La lógica tradicional resulta muy útil para formalizar razonamientos matemáticos: teoremas, definiciones... en los que se ...