PILAR SELENE LINARES AREVALO
| DATOS GENERALES | ||||||
|
||||||
| NOMBRAMIENTOS | ||||||
|
||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
||||||
| INFORMACIÓN DE PUBLICACIONES | ||||||
| Firmas | |
| Linares Arévalo P.S. Linares-Arévalo P.S. Selene Linares-Arévalo P. Selene Linares-Arevalo, P. | |
 ID's SCOPUS |
|
| 57216289813 |
| Áreas de conocimiento | |
|
Computer science, theory and methods Logic Computer science (miscellaneous) Mathematics (miscellaneous) Philosophy |
Coautorías con entidades de la UNAM
|
Revistas en las que ha publicado (5):
|
Documentos indexados (WoS y Scopus)
| # | Título del documento | Autores | Año | Revista | Fuente | Citas WoS | Citas Scopus |
|---|---|---|---|---|---|---|---|
| 1 | A dual-context sequent calculus for the constructive modal logic S4 | Coautor y autor de correspondencia: Linares Arévalo P.S., Miranda-Perea F.E., González Huesca L.D.C. | 2022 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | WoS-id: 000890051100001 Scopus-id: 2-s2.0-85151504847 | 0 | 0 |
| 2 | Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence | Coautor y autor de correspondencia: Selene Linares-Arevalo, P., Gonzalez Huesca, Lourdes del Carmen, Miranda-Perea, Favio E. | 2020 | Electronic Notes in Theoretical Computer Science | WoS-id: 000529330600005 Scopus-id: 2-s2.0-85096483408 | 2 | 2 |
| 3 | On Interactive Proof-Search for Constructive Modal Necessity | Coautor y autor de correspondencia: Selene Linares-Arevalo, P., Miranda-Perea F.E., Gonzalez Huesca, Lourdes del Carmen | 2020 | Electronic Notes in Theoretical Computer Science | WoS-id: 000594383000009 Scopus-id: 2-s2.0-85114399587 | 2 | 2 |
| 4 | Interactive proof-search for equational reasoning | Coautor y autor de correspondencia: Selene Linares-Arevalo, P., Miranda-Perea, Favio E., Gonzalez Huesca, Lourdes del Carmen | 2020 | Logic Journal Of The Igpl | WoS-id: 000595483300007 Scopus-id: 2-s2.0-85097508411 | 0 | 0 |
| 5 | On interactive proof-search for constructive modal necessity | Coautor y autor de correspondencia: Selene Linares-Arévalo P., Miranda-Perea F.E., González Huesca L.D.C. | 2020 | CEUR Workshop Proceedings | Scopus-id: 2-s2.0-85083029923 | 0 | 0 |
| 6 | Axiomatic and dual systems for constructive necessity, a formally verified equivalence | Coautor y autor de correspondencia: Linares-Arévalo P.S., González-Huesca L.D.C., Miranda-Perea F.E. | 2019 | Journal Of Applied Non-Classical Logics | Scopus-id: 2-s2.0-85070905675 | 0 | 7 |
No se encuentran registros en la base de datos de capítulos de libros (WoS y Scopus).
Obras con ISBN (Indautor)
| # | Título del documento | Autores | Alcance | Año | ISBN | Fuente |
|---|---|---|---|---|---|---|
| 1 | "lógica, Argumentación Y Pensamiento Crítico" | Ramos Villegas, Pedro Arturo, Miranda Perea, Favio Ezequiel, Hernández Deciderio, Gabriela, et al. | Libro Completo | 2019 | 9786078569694 | INDAUTOR |
| 2 | "lógica, Argumentación Y Pensamiento Crítico" | Ramos Villegas, Pedro Arturo, Miranda Perea, Favio Ezequiel, Hernández Deciderio, Gabriela, et al. | Libro Completo | 2019 | 9786078631063 | INDAUTOR |
No se encuentran registros en la base de datos de proyectos.
Participación en Comités de Tesis
| # | Título del documento | Tipo de Tesis | Sinodales | Autores | Año | Entidad | Url |
|---|---|---|---|---|---|---|---|
| 1 | Mónadas en la programación funcional : una prueba formal de su equivalencia con las ternas de Kleisli | Tesis de Licenciatura | DIANA AVELLA ALAMINOS; LOURDES DEL CARMEN GONZALEZ HUESCA; PILAR SELENE LINARES AREVALO; FAVIO EZEQUIEL MIRANDA PEREA; et al. | Vázquez Reyes, Cenobio Moisés; | 2016 | Coordinación de Estudios de Posgrado, Facultad de Ciencias, |  |
Docencia Impartida
| # | Entidad | Nivel | Asignatura | Año | Semestre | Alumnos |
|---|---|---|---|---|---|---|
| 1 | Facultad de Ciencias | Licenciatura | RAZONAMIENTO AUTOMATIZADO | 2020 | 2020-2 | 12 |
| 2 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2019 | 2020-1 | 2 |
| 3 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2019 | 2020-1 | 35 |
| 4 | Facultad de Ciencias | Licenciatura | RAZONAMIENTO AUTOMATIZADO | 2019 | 2019-2 | 9 |
| 5 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2018 | 2019-1 | 38 |
| 6 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2018 | 2019-1 | 2 |
| 7 | Facultad de Ciencias | Licenciatura | LOGICA COMPUTACIONAL | 2018 | 2018-2 | 43 |
| 8 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2017 | 2018-1 | 31 |
| 9 | Facultad de Ciencias | Licenciatura | LOGICA COMPUTACIONAL | 2017 | 2017-2 | 45 |
| 10 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2016 | 2017-1 | 33 |
| 11 | Facultad de Ciencias | Licenciatura | PROGRAMACION DECLARATIVA | 2016 | 2016-2 | 17 |
| 12 | Facultad de Ciencias | Licenciatura | PROGRAMACION FUNCION.LOGICA | 2016 | 2016-2 | 1 |
| 13 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2015 | 2016-1 | 33 |
| 14 | Facultad de Ciencias | Licenciatura | LOGICAS NO CLASICAS | 2015 | 2016-1 | 4 |
| 15 | Facultad de Ciencias | Licenciatura | LOGICA COMPUTACIONAL II | 2015 | 2016-1 | 3 |
| 16 | Facultad de Ciencias | Licenciatura | PROGRAMACION DECLARATIVA | 2015 | 2015-2 | 3 |
| 17 | Facultad de Ciencias | Licenciatura | PROGRAMACION FUNCION.LOGICA | 2015 | 2015-2 | 7 |
| 18 | Facultad de Ciencias | Licenciatura | ANALISIS LOGICO | 2014 | 2015-1 | 5 |
| 19 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2014 | 2015-1 | 34 |
| 20 | Facultad de Ciencias | Licenciatura | LOGICA COMPUTACIONAL | 2014 | 2015-1 | 43 |
| 21 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2014 | 2014-2 | 26 |
| 22 | Facultad de Ciencias | Licenciatura | ESTRUCTURAS DISCRETAS | 2013 | 2014-1 | 35 |
| 23 | Facultad de Ciencias | Licenciatura | MATEMATICAS DISCRETAS | 2013 | 2014-1 | 1 |
No se encuentran registros en la base de datos de patentes.
No se encuentran registros en la base de datos de libros completos (Humanindex).
Capítulos de libros (Humanindex)
| # | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
|---|