Inmaculada Pérez de Guzmán Molina
Instituciones
Área de conocimientoIdentificadores de autorPeriodo de publicación recogido
|
|
|
|
|
MathSciNet
Biblioteca Nacional de España
dblp Computer science bibliography
Google Scholar
ORCID
Scopus
Semantic Scholar
VIAF
Zentralblatt MATH-
Artículos de revistas
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Alfredo Burrieza Muñiz
, Inmaculada Pérez de Guzmán Molina, Emilio José Muñoz VelascoMathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 1, 2010, págs. 89-102
A new closure algorithm based in logic: SLFD-Closure versus classical closures
Ángel Mora Bonilla
, Gabriel Aguilera Venegas , Manuel Enciso García-Oliveros , Pablo Cordero Ortega , Inmaculada Pérez de Guzmán MolinaInteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 10, Nº. 31, 2006, págs. 31-40
Una forma normal temporal independiente del método de deducción
Carlos Rossi
, Manuel Enciso García-Oliveros , Inmaculada Pérez de Guzmán MolinaInteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 8, Nº. 23, 2004, págs. 27-45
A reduction-based theorem prover for 3-valued logic
Gabriel Aguilera Venegas
, Inmaculada Pérez de Guzmán Molina, Manuel Ojeda Aciego Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, ISSN-e 1134-5632, Vol. 4, Nº. 2, 1997, págs. 99-127
Jordan epimorfismos sobre un álgebra alternativa normada completa semisimple Kleinfeld
Inmaculada Pérez de Guzmán Molina, Ángel Rodríguez Palacios
Publicacions matematiques, ISSN 0214-1493, Nº 21, 1980, págs. 211-215
-
Colaboraciones en obras colectivas
Inmaculada Pérez de Guzmán Molina
El corredor de las estrellas: el legado del profesor Vicente Granados : explorador, profesor, planificador, gestor y activista / coord. por Juan Marcos Castro Bonaño
, Joaquín Aurioles Martín, Ignacio Martínez Cano, Rosa Gómez Torralbo; Alfredo Rubio Díaz (ed. lit.), 2022, ISBN 978-84-19442-31-4, págs. 263-265A complete logic for fuzzy functional dependencies over t-norms
Pablo Cordero Ortega
, Manuel Enciso García-Oliveros , Ángel Mora Bonilla , Inmaculada Pérez de Guzmán MolinaXV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico] / coord. por Antonio Peregrín Rubio
, 2010, ISBN 978-84-92944-02-6, págs. 205-210
-
Libros
Gabriel Aguilera Venegas
, Inmaculada Pérez de Guzmán Molina, Manuel Ojeda Aciego Librería Ágora, 1993. ISBN 84-8160-001-6
-
Tesis dirigidas
Semántica funcional para lógicas temporales x modales: Definibilidad y teoremas de completitud
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.), Alfredo Burrieza Muñiz (dir. tes.)
. Universidad de Málaga (2003). - Resumen
- Tesis en acceso abierto en: www.sci.uma.es
Dependencias funcionales, ideal-operadores no deterministas y operadores de sustitución
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.), Manuel Enciso García-Oliveros (dir. tes.)
. Universidad de Málaga (2002). Lógica temporal de intervalos, formalización de diagramas de estados
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.), Manuel Enciso García-Oliveros (dir. tes.)
. Universidad de Málaga (2001). Bases de ideales en multirretículos y delta-árboles
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.), Pablo Cordero Ortega (dir. tes.)
. Universidad de Málaga (2001). Delta-árboles de implicantes e implicados y reducciones de lógicas en ATPS
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.), Manuel Ojeda Aciego (dir. tes.)
. Universidad de Málaga (1999). Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.), Manuel Enciso García-Oliveros (dir. tes.)
. Universidad de Málaga (1999). Reducciones totales y parciales para el análisis de validez y construcción de modelos en M3
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.). Universidad de Málaga (1997).
- Resumen
- Tesis en acceso abierto en: www.sci.uma.es
Métodos formales para normalización en lógica de primer orden usando la metodología tas
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.). Universidad de Málaga (1996).
Lógica temporal y demostración automática de teoremas. Eficiencia y paralelismo
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.). Universidad de Málaga (1995).
Optimización y análisis de especificaciones funcionales: un enfoque hacia la automatización
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.). Universidad de Málaga (1993).
Programación funcional y procesamiento paralelo. Transformaciones paralelizantes de programas
Eduardo Medina Cano
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.). Universidad de Málaga (1991).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
