Investigador/a:
Francisco Félix Lara Martín
Telefono: 95.455.70.06
Email: Solicitar correo
Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Titular (Universidad)
Participa en los siguientes proyectos/ayudas:
- Proyectos:
- Modelos de la aritmética y álgebras de funciones computables (MTM2008-06435 - Investigador)
- Modelos de la aritmética y clasificación de funciones computables (MTM2005-08658 - Investigador)
- Ayudas Complementarias:
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137 - Investigador)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137 - Investigador)
Cobertura de la base de datos de proyectos, véase aqui
.
Publicaciones:
Capítulos en Libros
Juan Jose Arrabal Parrilla, Delia Balbontin Noval, Jose Antonio Alonso Jimenez, Francisco Felix Lara Martin, Francisco Jesus Martin Mateos, Mario Jesus Perez Jimenez, Jose Luis Ruiz Reina:Gti: una Herramienta de Edición de Cursos Adaptativos. Actas del XIII Congreso Nacional de Ingeniería de Proyectos. Sevilla. Antonio F. Martin Navarro. 1997. Pag. 627-634. ISBN: 84-88783-30-2
Juan Jose Arrabal Parrilla, Delia Balbontin Noval, Jose Antonio Alonso Jimenez, Francisco Felix Lara Martin:Gti: una Herramienta de Edición de Cursos Adaptativos. Actas del XIII Congreso Nacional de Ingeniería de Proyectos. Sevilla. Antonio F. Martin Navarro. 1997. Pag. 627-634. ISBN: 84-88783-30-2
Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Some Results on $\delta_n(T)$-Induction. The Bulletin of the Workshop on Model Theory and Complexity. Sevilla. Editorial Kronos. 1997. Pag. 43-73. ISBN: 84-88620-08-X
Publicaciones en Revistas
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Existentially Closed Models and Conservation Results in Bounded Arithmetic. Journal of Logic and Computation . Vol. 19. Núm. 1. 2009. Pag. 123-143
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:A Note on Sigma(1)-Maximal Models. The Journal of Symbolic Logic. Vol. 72. Núm. 3. 2007. Pag. 1072-1078
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:On Rules and Parameter Free Systems in Bounded Arithmetic. Lecture Notes in Computer Science. Vol. 4497. 2007. Pag. 179-188
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Envelopes, Indicators and Conservativeness. Mathematical Logic Quarterly . Vol. 52. Núm. 1. 2006. Pag. 51-70
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Fragments of Arithmetic and True Sentences. Mathematical Logic Quarterly . Vol. 51. Núm. 3. 2005. Pag. 313-328
Francisco Felix Lara Martin, Alejandro Fernandez Margarit:Induction, Minimization and Collection for Delta(N)+(1)(T)-Formulas. Archive for Mathematical Logic. Vol. 43. Núm. 4. 2004. Pag. 505-541
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:On the Quantifier Complexity of Delta(N+1)(T)-Induction. Archive for Mathematical Logic. Vol. 43. Núm. 3. 2004. Pag. 371-398
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Provably Total Primitive Recursive Functions: Theories With Induction. Lecture Notes in Computer Science. Vol. 3210. 2004. Pag. 355-369
Francisco Felix Lara Martin, Alejandro Fernandez Margarit:Some Results on $l\delta_{n+1}^-$. Mathematical Logic Quarterly . Vol. 47. Núm. 4. 2001. Pag. 503-512
Libros de Actas
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Jaf 26. 26èmes Journées sur Les Arithmétiques Faibles.
(26th Weak Arithmetics Days). Num. 26. Sevilla (España). Sevilla, España. Fénix Editora. 2008. ISBN: 978-84-612-18
Aportaciones a Congresos
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:On Rules and Parameter Free Systems in Bounded Arithmetic. Computation and Logic in the Real World. Computability in Europe, CIE 2007 (3). Num. 3. Siena, Italia. Springer. 2007. Pag. 179-188. ISBN: 978-3-540-730
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:On Axiom Schemes for ∆N+1(T)-Formulas. Le Bulletin de L'association Française Pour L¿Intelligence Artificielle. 24e Journées D¿Arithmétiques Faibles (Weak Arithmetics Days) (24). Num. 24. Fontainebleau. Bulletin de L'afia. 2006. Pag. 50-52
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Provably Total Primitive Recursive Functions: Theories With Induction. Computer Science Logic. Annual Conference of the Eacsl (13). Num. 13. Karpacz (Poland). Springer, Berlín, Alemania. 2004. Pag. 355-369. ISBN: 3-540-23024-6
Andres Cordon Franco, Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Parameter Free Induction and True Sentences. 12th International Congress of Logic, Methodology and Philosophy of Science. International Congress of Logic, Methodology and Philosophy of Science (12). Num. 12. Oviedo (España). Departamento de Filosofía. Universidad de Oviedo. 2003. Pag. 63-64. ISBN: 84-600-9913-X
Francisco Felix Lara Martin, Alejandro Fernandez Margarit:A Hierrachy for $\delta_{n+1}(T)$-Induction. Collegium Logicum. Kurt Gödel Colloquium (). Barcelona. Kurt-Gödel-Society. 2001. Pag. 266-270
Alejandro Fernandez Margarit, Francisco Felix Lara Martin:Funciones Recursivas y Fragmentos de la Aritmética. Actas del I Encuentro de Matemáticos Andaluces. Encuentro de Matemáticos Andaluces. Num. 1. Sevilla, España. Universidad de Sevilla. Secretariado de Publicaciones. 2001. Pag. 429-436. ISBN: 84-472-0639-4
Juan Jose Arrabal Parrilla, Delia Balbontin Noval, Jose Antonio Alonso Jimenez, Francisco Felix Lara Martin, Francisco Jesus Martin Mateos, Mario Jesus Perez Jimenez, Jose Luis Ruiz Reina:Gti: una Herramienta de Edición de Cursos Adaptativos. Actas del XIII Congreso Nacional de Ingenieria de Proyectos. Journees Détudes Comparatives Franco- Hispano- Italiannes. Num. 1. Burdeos, Francia. 1997. Pag. 627-634
