Muestra la distribución de publicaciones, con dominio Chile desde 2008, en las cuales se ha utilizado el keyword seleccionado.
Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.
Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Consultas o comentarios: productividad@anid.cl
| Keywords | TEMPORAL LOGIC |
Publicaciones
Citas Totales
Autores Afiliación Chile
Instituciones Chile
| WoS | #Pub |
|---|---|
| Computer Science, Theory & Methods | 2 |
| Mathematics, Applied | 1 |
| Logic | 1 |
| Scopus | #Pub |
|---|---|
| Software | 1 |
| SciELO | #Pub |
|---|---|
| Sin Disciplinas | |
| Nombre | Género | #Pub |
|---|---|---|
| FONTAINE, GAELLE | Mujer | 2 |
| ARENAS, MARCELO | Hombre | 1 |
| BARCELO-BAEZA, PABLO | Hombre | 1 |
| Institución | #Pub |
|---|---|
| Universidad de Chile | 3 |
| Pontificia Universidad Católica de Chile | 1 |
| Título | Año | Citas |
|---|---|---|
| Cycle detection in computation tree logic | 2018 | 0 |
| Cycle detection in computation tree logic | 2016 | 2 |
| FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS | 2008 | 26 |
Descargar
Descarga los datos de esta página (formato JSON).
Descargar
Descarga los datos de esta página como un archivo Excel.
