Directorio
ANDRES CORDON FRANCO
Categoría
Profesor Titular de Universidad
Departamento
Área
Ciencia de la Computación e Inteligenc. Artificial
Docencia
Investigación
Grupo de investigación
LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO (LOCIC)
Proyectos y contratos de investigación
CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO (DGES PB96-1345 - Investigador/a)
MODELOS DE LA ARITMÉTICA Y CLASIFICACIÓN DE FUNCIONES COMPUTABLES (MTM2005-08658 - Investigador/a)
MODELOS DE LA ARITMÉTICA Y ÁLGEBRAS DE FUNCIONES COMPUTABLES (MTM2008-06435 - Investigador/a)
LÓGICA DE PROTOCOLOS INCONDICIONALMENTE SEGUROS (P08-HUM-4159 - Investigador/a)
MYMEM: CREACIÓN DE UN SERVICIO MÓVIL DE RELACIÓN ENTRE CONTACTOS (PROYECTO MINERVA 1C/029 - Investigador/a)
La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador/a)
Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E - Investigador/a)
Epistemic protocol synthesis (FFI2011-15945-E - Investigador/a)
Libros publicados
Alonso-Jimenez, Jose Antonio;Riscos-Nuñez, Agustin;Valencia-Cabrera, Luis;Aranda-Corral, Gonzalo A.;Chavez-Gonzalez, Antonia Mª;Cordon-Franco, Andres;Hidalgo-Doblado, Maria Jose;Martín-mateos, Francisco Jesús;Martínez-del-Amor, Miguel Ángel;Pérez-Hurtado De Mendoza, Ignacio;Quesada-Moreno, Jose Francisco:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015.
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro:
ELEMENTOS DEFINIBLES EN MODELOS DE LA ARITMÉTICA. . .
ELEMENTOS DEFINIBLES EN MODELOS DE LA ARITMÉTICA. . .
Capítulos en Libros
Albert, Michael;Cordon-Franco, Andres;Van Ditmarsch-, Hans;Fernandez-Duque, David;Joosten-, Joost Johannes;Soler-Toscano, Fernando:
Secure Communication of Local States in Interpreted Systems. Pág. 117-124. 2011.
Secure Communication of Local States in Interpreted Systems. Pág. 117-124. 2011.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON CONSERVATION RESULTS FOR PARAMETER FREE ΠN-INDUCTION. Pág. 49-97. CSLI PUBLICATIONS. CSLI PUBLICATIONS. 2009.
ON CONSERVATION RESULTS FOR PARAMETER FREE ΠN-INDUCTION. Pág. 49-97. CSLI PUBLICATIONS. CSLI PUBLICATIONS. 2009.
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin:
CELLULAR SOLUTIONS FOR SOME NUMERICAL NP-COMPLETE PROBLEMS: A PROLOG IMPLEMENTATION. Pág. 115-149. IDEA GROUP INC.. IDEA GROUP INC.. 2005.
CELLULAR SOLUTIONS FOR SOME NUMERICAL NP-COMPLETE PROBLEMS: A PROLOG IMPLEMENTATION. Pág. 115-149. IDEA GROUP INC.. IDEA GROUP INC.. 2005.
Cordon-Franco, Andres:
WEAK METRICS ON CONFIGURATIONS OF A P SYSTEM. Pág. 139-151. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. 2004.
WEAK METRICS ON CONFIGURATIONS OF A P SYSTEM. Pág. 139-151. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. 2004.
Cordon-Franco, Andres:
LOOKING FOR P TRUTH. Pág. 134-138. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. 2004.
LOOKING FOR P TRUTH. Pág. 134-138. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. 2004.
Asistencia a congresos
Cordon-Franco, Andres:
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, POLONIA. 2021
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, POLONIA. 2021
Cordon-Franco, Andres;Lara-Martin, Francisco Felix;Loureiro, Manuel:
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, -, POLONIA. 2021
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, -, POLONIA. 2021
Albert, Michael;Cordon-Franco, Andres;Van Ditmarsch-, Hans;Fernandez-Duque, David;Joosten-, Joost Johannes;Soler-Toscano, Fernando:
Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. RECTORADO DE LA UNIVERSIDAD DE SALAMANCA. 2011
Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. RECTORADO DE LA UNIVERSIDAD DE SALAMANCA. 2011
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
LOCAL VERSIONS OF THE KREISEL-LEVY THEOREM. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÈTIQUES FAIBLES/WEAK ARITHMETICS DAYS (29) (29.2010.VARSOVIA (POLONIA)). VARSOVIA (POLONIA). 2010
LOCAL VERSIONS OF THE KREISEL-LEVY THEOREM. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÈTIQUES FAIBLES/WEAK ARITHMETICS DAYS (29) (29.2010.VARSOVIA (POLONIA)). VARSOVIA (POLONIA). 2010
Van Ditmarsch-, Hans;Gomez-Caminero-Parejo, Emilio Francisco;Fernandez-Duque, David;Nepomuceno-Fernandez, Angel;Cordon-Franco, Andres:
TWO MISCHIEVOUS DYNAMIC CONSEQUENCE RELATIONS. Comunicación en congreso. ILCLI INTERNATIONAL WORKSHOP ON LOGIC AND PHILOSOPHY OF KNOWLEDGE, COMMUNICATION AND ACTION (2) (2.2010.ZARAUTZ, SPAIN). ZARAUTZ, SPAIN. 2010
TWO MISCHIEVOUS DYNAMIC CONSEQUENCE RELATIONS. Comunicación en congreso. ILCLI INTERNATIONAL WORKSHOP ON LOGIC AND PHILOSOPHY OF KNOWLEDGE, COMMUNICATION AND ACTION (2) (2.2010.ZARAUTZ, SPAIN). ZARAUTZ, SPAIN. 2010
ALBERT-,MICHAEL;Cordon-Franco, Andres;Van Ditmarsch-, Hans;Fernandez-Duque, David;Joosten-, Joost Johannes;Soler-Toscano, Fernando:
SECURE COMMUNICATION OF LOCAL STATES IN MULTI-AGENT SYSTEMS. Comunicación en congreso. LOGICS IN SECURITY () (.2010.COPENHAGUE, DINAMARCA). COPENHAGUE, DINAMARCA. 2010
SECURE COMMUNICATION OF LOCAL STATES IN MULTI-AGENT SYSTEMS. Comunicación en congreso. LOGICS IN SECURITY () (.2010.COPENHAGUE, DINAMARCA). COPENHAGUE, DINAMARCA. 2010
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON CONSERVATION RESULTS FOR CONDITIONAL AXIOMS SCHEMES IN FIRST ORDER ARITHMETIC. Comunicación en congreso. LOGIC COLLOQUIUM 2010 () (.2010.PARIS (FRANCIA)). PARIS (FRANCIA). 2010
ON CONSERVATION RESULTS FOR CONDITIONAL AXIOMS SCHEMES IN FIRST ORDER ARITHMETIC. Comunicación en congreso. LOGIC COLLOQUIUM 2010 () (.2010.PARIS (FRANCIA)). PARIS (FRANCIA). 2010
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
A MODEL-THEORETIC APPROACH TO PARAMETER FREE $PI_2$ INDUCTION. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÉTIQUES FAIBLES/WEAK ARITHMETICS DAYS (28) (28.2009.FONTAINEBLEAU, FRANCIA). FONTAINEBLEAU, FRANCIA. 2009
A MODEL-THEORETIC APPROACH TO PARAMETER FREE $PI_2$ INDUCTION. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÉTIQUES FAIBLES/WEAK ARITHMETICS DAYS (28) (28.2009.FONTAINEBLEAU, FRANCIA). FONTAINEBLEAU, FRANCIA. 2009
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
PARAMETER FREE $PI_1$ INDUCTION AND RESTRICTED EXPONENTIATION. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÉTIQUES FAIBLES/WEAK ARITHMETICS DAYS (28) (28.2009.FONTAINEBLEAU, FRANCIA). FONTAINEBLEAU, FRANCIA. 2009
PARAMETER FREE $PI_1$ INDUCTION AND RESTRICTED EXPONENTIATION. Comunicación en congreso. JAF, JOURNÉES SUR LES ARITHMÉTIQUES FAIBLES/WEAK ARITHMETICS DAYS (28) (28.2009.FONTAINEBLEAU, FRANCIA). FONTAINEBLEAU, FRANCIA. 2009
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. Comunicación en congreso. COMPUTABILITY IN EUROPE, CIE 2007 (3) (3.2007.SIENA, ITALIA.). SIENA, ITALIA.. 2007
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. Comunicación en congreso. COMPUTABILITY IN EUROPE, CIE 2007 (3) (3.2007.SIENA, ITALIA.). SIENA, ITALIA.. 2007
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON AXIOM SCHEMES FOR ∆N+1(T)-FORMULAS. Comunicación en congreso. 24E JOURNÉES D¿ARITHMÉTIQUES FAIBLES (WEAK ARITHMETICS DAYS) (24) (24.2005.FONTAINEBLEAU). FONTAINEBLEAU. 2005
ON AXIOM SCHEMES FOR ∆N+1(T)-FORMULAS. Comunicación en congreso. 24E JOURNÉES D¿ARITHMÉTIQUES FAIBLES (WEAK ARITHMETICS DAYS) (24) (24.2005.FONTAINEBLEAU). FONTAINEBLEAU. 2005
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús:
LOOKING FOR P TRUTH. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004
LOOKING FOR P TRUTH. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin:
WEAK METRICS ON CONFIGURATIONS OF A P SYSTEM. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004
WEAK METRICS ON CONFIGURATIONS OF A P SYSTEM. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. Comunicación en congreso. ANNUAL CONFERENCE OF THE EACSL (13) (13.2004.KARPACZ (POLAND)). KARPACZ (POLAND). 2004
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. Comunicación en congreso. ANNUAL CONFERENCE OF THE EACSL (13) (13.2004.KARPACZ (POLAND)). KARPACZ (POLAND). 2004
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin:
EXPLORING COMPUTATION TREES ASSOCIATED WITH P SYSTEMS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004
EXPLORING COMPUTATION TREES ASSOCIATED WITH P SYSTEMS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004
Cordon-Franco, Andres;Sancho-Caparrini, Fernando:
NON-DISCRETE P SYSTEMS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004
NON-DISCRETE P SYSTEMS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin:
TOWARDS AN EFFICIENT STRATEGY FOR SEARCHING IN P SYSTEMS. Comunicación en congreso. ECAI 2004 (16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE) (16) (16.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004
TOWARDS AN EFFICIENT STRATEGY FOR SEARCHING IN P SYSTEMS. Comunicación en congreso. ECAI 2004 (16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE) (16) (16.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Sancho-Caparrini, Fernando:
A PROLOG SIMULATOR FOR DETERMINISTIC P SYSTEMS WITH ACTIVE MEMBRANES. Comunicación en congreso. Brainstorming Week on Membrane Computing. TARRAGONA. ESPAÑA. 2003
A PROLOG SIMULATOR FOR DETERMINISTIC P SYSTEMS WITH ACTIVE MEMBRANES. Comunicación en congreso. Brainstorming Week on Membrane Computing. TARRAGONA. ESPAÑA. 2003
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS. Comunicación en congreso. JOURNÉES SUR LES ARITHMETIQUES FAIBLES/WEAK ARITHMETICS DAYS (22) (22.2003.NÁPOLES, ITALIA). NÁPOLES, ITALIA. 2003
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS. Comunicación en congreso. JOURNÉES SUR LES ARITHMETIQUES FAIBLES/WEAK ARITHMETICS DAYS (22) (22.2003.NÁPOLES, ITALIA). NÁPOLES, ITALIA. 2003
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
PARAMETER FREE INDUCTION AND TRUE SENTENCES. Comunicación en congreso. INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE (12) (12.2003.OVIEDO (ESPAÑA)). OVIEDO (ESPAÑA). 2003
PARAMETER FREE INDUCTION AND TRUE SENTENCES. Comunicación en congreso. INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE (12) (12.2003.OVIEDO (ESPAÑA)). OVIEDO (ESPAÑA). 2003
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin:
IMPLEMENTING IN PROLOG AN EFFECTIVE CELLULAR SOLUTION FOR THE KNAPSACK PROBLEM. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING, WMC 2003 (4) (4.2003.TARRAGONA, ESPAÑA). TARRAGONA, ESPAÑA. 2003
IMPLEMENTING IN PROLOG AN EFFECTIVE CELLULAR SOLUTION FOR THE KNAPSACK PROBLEM. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING, WMC 2003 (4) (4.2003.TARRAGONA, ESPAÑA). TARRAGONA, ESPAÑA. 2003
Artículos publicados
Cordon-Franco, Andres;Fernandez-Duque, David;Joosten-, Joost Johannes;Lara-Martin, Francisco Felix:
Predicativity through transfinite recursion. The Journal of Symbolic Logic. 2017. Vol: 82. Núm: 3. Pág. 787-808.
Predicativity through transfinite recursion. The Journal of Symbolic Logic. 2017. Vol: 82. Núm: 3. Pág. 787-808.
Adamowicz, Zofia;Cordon-Franco, Andres;Lara-Martin, Francisco Felix:
Existentially closed models in the framework of arithmetic. The Journal of Symbolic Logic. 2016. Vol: 81. Núm: 2. Pág. 744-788.
Existentially closed models in the framework of arithmetic. The Journal of Symbolic Logic. 2016. Vol: 81. Núm: 2. Pág. 744-788.
Cordon-Franco, Andres;Van Ditmarsch-, Hans;Fernandez-Duque, David;Soler-Toscano, Fernando:
A geometric protocol for cryptography with cards. Designs, Codes, and Cryptography. 2015. Vol: 74. Núm: 1. Pág. 113-125. 10.1007/s10623-013-9855-y.
A geometric protocol for cryptography with cards. Designs, Codes, and Cryptography. 2015. Vol: 74. Núm: 1. Pág. 113-125. 10.1007/s10623-013-9855-y.
Cordon-Franco, Andres;Van Ditmarsch-, Hans;Nepomuceno-Fernandez, Angel:
Dynamic consequence and public announcement. The Review of Symbolic Logic. 2013. Vol: 6. Núm: 4. Pág. 659-679. : http://0-dx.doi.org.fama.us.es/10.1017/S1755020313000294 .
Dynamic consequence and public announcement. The Review of Symbolic Logic. 2013. Vol: 6. Núm: 4. Pág. 659-679. : http://0-dx.doi.org.fama.us.es/10.1017/S1755020313000294 .
Cordon-Franco, Andres;Van Ditmarsch-, Hans;Fernandez-Duque, David;Soler-Toscano, Fernando:
A colouring protocol for the generalized Russian cards problem. Theoretical Computer Science. 2013. Vol: 495. Pág. 81-95. 10.1016/j.tcs.2013.05.010.
A colouring protocol for the generalized Russian cards problem. Theoretical Computer Science. 2013. Vol: 495. Pág. 81-95. 10.1016/j.tcs.2013.05.010.
Cordon-Franco, Andres;Van Ditmarsch-, Hans;Fernandez-Duque, David;Joosten-, Joost Johannes;Soler-Toscano, Fernando:
A secure additive protocol for card players. Australasian Journal of Combinatorics. 2012. Vol: 54. Pág. 163-175.
A secure additive protocol for card players. Australasian Journal of Combinatorics. 2012. Vol: 54. Pág. 163-175.
Cordon-Franco, Andres;Fernández-margarit, Alejandro;Lara-Martin, Francisco Felix:
A Note on Parameter Free $Pi_1$-Induction and Restricted Exponentiation. Mathematical Logic Quarterly. 2011. Vol: 57. Núm: 5. Pág. 444-455. 10.1002/malq.201010013.
A Note on Parameter Free $Pi_1$-Induction and Restricted Exponentiation. Mathematical Logic Quarterly. 2011. Vol: 57. Núm: 5. Pág. 444-455. 10.1002/malq.201010013.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
EXISTENTIALLY CLOSED MODELS AND CONSERVATION RESULTS IN BOUNDED ARITHMETIC. Journal of Logic and Computation. 2009. Vol: 19. Núm: 1. Pág. 123-143.
EXISTENTIALLY CLOSED MODELS AND CONSERVATION RESULTS IN BOUNDED ARITHMETIC. Journal of Logic and Computation. 2009. Vol: 19. Núm: 1. Pág. 123-143.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. Lecture Notes in Computer Science. 2007. Vol: 4497. Pág. 179-188.
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. Lecture Notes in Computer Science. 2007. Vol: 4497. Pág. 179-188.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
A NOTE ON SIGMA(1)-MAXIMAL MODELS. The Journal of Symbolic Logic. 2007. Vol: 72. Núm: 3. Pág. 1072-1078.
A NOTE ON SIGMA(1)-MAXIMAL MODELS. The Journal of Symbolic Logic. 2007. Vol: 72. Núm: 3. Pág. 1072-1078.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ENVELOPES, INDICATORS AND CONSERVATIVENESS. Mathematical Logic Quarterly. 2006. Vol: 52. Núm: 1. Pág. 51-70.
ENVELOPES, INDICATORS AND CONSERVATIVENESS. Mathematical Logic Quarterly. 2006. Vol: 52. Núm: 1. Pág. 51-70.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
FRAGMENTS OF ARITHMETIC AND TRUE SENTENCES. Mathematical Logic Quarterly. 2005. Vol: 51. Núm: 3. Pág. 313-328.
FRAGMENTS OF ARITHMETIC AND TRUE SENTENCES. Mathematical Logic Quarterly. 2005. Vol: 51. Núm: 3. Pág. 313-328.
Cordon-Franco, Andres;Sancho-Caparrini, Fernando:
APPROXIMATING NON-DISCRETE P SYSTEMS. Lecture Notes in Computer Science. 2005. Vol: 3365. Pág. 287-295.
APPROXIMATING NON-DISCRETE P SYSTEMS. Lecture Notes in Computer Science. 2005. Vol: 3365. Pág. 287-295.
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin:
EXPLORING COMPUTATION TREES ASSOCIATED WITH P SYSTEMS. Lecture Notes in Computer Science. 2005. Vol: 3365. Pág. 278-286.
EXPLORING COMPUTATION TREES ASSOCIATED WITH P SYSTEMS. Lecture Notes in Computer Science. 2005. Vol: 3365. Pág. 278-286.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. Lecture Notes in Computer Science. 2004. Vol: 3210. Pág. 355-369.
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. Lecture Notes in Computer Science. 2004. Vol: 3210. Pág. 355-369.
Cordon-Franco, Andres;Fernandez-Margarit, Alejandro;Lara-Martin, Francisco Felix:
ON THE QUANTIFIER COMPLEXITY OF DELTA(N+1)(T)-INDUCTION. Archive for Mathematical Logic. 2004. Vol: 43. Núm: 3. Pág. 371-398.
ON THE QUANTIFIER COMPLEXITY OF DELTA(N+1)(T)-INDUCTION. Archive for Mathematical Logic. 2004. Vol: 43. Núm: 3. Pág. 371-398.
Cordon-Franco, Andres;Sancho-Caparrini, Fernando:
A NOTE ON COMPLEXITY MEASURES FOR PROBABILISTIC P SYSTEMS. Journal of universal computer science. 2004. Vol: 10. Núm: 5. Pág. 559-566.
A NOTE ON COMPLEXITY MEASURES FOR PROBABILISTIC P SYSTEMS. Journal of universal computer science. 2004. Vol: 10. Núm: 5. Pág. 559-566.
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin;Sancho-Caparrini, Fernando:
IMPLEMENTING IN PROLOG AN EFFECTIVE CELLULAR SOLUTION TO THE KNAPSACK PROBLEM. Lecture Notes in Computer Science. 2004. Vol: 2933. Pág. 140-152.
IMPLEMENTING IN PROLOG AN EFFECTIVE CELLULAR SOLUTION TO THE KNAPSACK PROBLEM. Lecture Notes in Computer Science. 2004. Vol: 2933. Pág. 140-152.
Cordon-Franco, Andres;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Sancho-Caparrini, Fernando:
A PROLOG SIMULATOR FOR DETERMINISTIC P SYSTEMS WITH ACTIVE MEMBRANES. New Generation Computing. 2004. Vol: 22. Núm: 4. Pág. 349-363.
A PROLOG SIMULATOR FOR DETERMINISTIC P SYSTEMS WITH ACTIVE MEMBRANES. New Generation Computing. 2004. Vol: 22. Núm: 4. Pág. 349-363.
