Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
Xavier Caicedo
Teoría de Modelos
Universidad de los Andes
Perfil externo:
Citaciones:
104
Productos:
10
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
Cargando información...
10 Productos
Más citado
CSV
API
Bi-modal Godel logic over [0,1]-valued Kripke frames
Ver producto
Acceso Abierto
ID Minciencias: ART-0000250821-151
Ranking: ART-ART_A2
Fuente: Journal of Logic and Computation
Xavier Caicedo
R O Rodríguez
Tópico:
Advanced Algebra and Logic
Publicado: 2012
Citaciones:
51
Altmétricas:
0
Artículo de revista
Decidability of order-based modal logics
Ver producto
Acceso Abierto
ID Minciencias: ART-0000250821-188
Ranking: ART-ART_A1
Fuente: Journal of Computer and System Sciences
Xavier Caicedo
George Metcalfe
Ricardo Oscar Rodriguez
Jonas Rogger
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2017
Citaciones:
28
Altmétricas:
0
Artículo de revista
Omitting uncountable types and the strength of [0,1]-valued logics
Ver producto
Acceso Abierto
ID Minciencias: ART-0000250821-168
Ranking: ART-ART_A1
Fuente: Annals of Pure and Applied Logic
Xavier Caicedo
José N Iovino
Tópico:
Advanced Algebra and Logic
Publicado: 2014
Citaciones:
24
Altmétricas:
0
Artículo de revista
Lindström’s Theorem for Positive Logics, a Topological View
Ver producto
Acceso Cerrado
ID Minciencias: CAP_LIB-0000250821-185
Ranking: CAP_LIB-GC_CAP_LIB
Fuente: De Gruyter eBooks
Xavier Caicedo
Xavier Caicedo
Tópico:
Advanced Algebra and Logic
Publicado: 2015
Citaciones:
1
Altmétricas:
0
Publicaciones editoriales no especializadas
Maximality of continuous logic
Ver producto
Acceso Cerrado
ID Minciencias: CAP_LIB-0000250821-190
Ranking: CAP_LIB-GC_CAP_LIB
José N Iovino
Xavier Caicedo
Tópico:
Quantum Computing Algorithms and Architecture
Publicado: 2017
Citaciones:
0
Altmétricas:
0
Publicaciones editoriales no especializadas
Subdirect decomposition of n-chromatic graphs
Ver producto
Fuente: Journal of Algebraic Combinatorics
Xavier Caicedo
Tópico:
graph theory and CDMA systems
Publicado: 1998
Citaciones:
0
Artículo de revista
Completud de dos cálculos logicos de Leibniz (Completencss of Two Logical Systems of Leibniz)
Ver producto
Fuente: Theoria. Revista de Teorı́a, Historia y Fundamentos de la Ciencia
Xavier Caicedo
Alejandro Martín
Tópico:
Historical Studies in Science
Publicado: 2001
Citaciones:
0
Artículo de revista
Omitting types and w-Categoricity for linear Kripke Sheaves
Ver producto
ID Minciencias: TM-0000250821-189
Ranking: TM-TM_B
Xavier Caicedo
Kevin Omar Dávila Castellar
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2017
Citaciones:
0
Tesis de posgrado
Límites inversos de estructuras compactas
Ver producto
ID Minciencias: TP-0000250821-184
Ranking: TP-TP_B
Xavier Caicedo
Alf Onshuus Niño
Santiago Iván Pinzón Palacios
Publicado: 2015
Citaciones:
0
Tesis de Pregrado
El teorema de categoricidad de Morley y la categoricidad de campos algebraicamente cerrados 0 con pseudo-exponenciación
Ver producto
ID Minciencias: TP-0000250821-187
Ranking: TP-TP_B
Xavier Caicedo
David Rincón Pabón
Tópico:
Advanced Topology and Set Theory
Publicado: 2015
Citaciones:
0
Tesis de Pregrado
1
NaN
