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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Andrés Sicard Ramírez
Lógica y Computación
Universidad EAFIT
Perfil externo:
Citaciones:
13
Productos:
7
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...
7 Productos
Más citado
CSV
API
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs
Acceso Cerrado
ART-ART_A2
ID Minciencias: ART-0000085308-6446
Fuente: Lecture notes in computer science
Ana Bove
Peter Dybjer
Andrés Sicard Ramírez
Temas:
Computer science
Order (exchange)
Programming language
Artificial intelligence
Theoretical computer science
Cognitive science
Human–computer interaction
Psychology
Economics
Finance
Publicado: 2012
Citaciones:
7
Altmétricas:
0
Artículo de revista
Quantum hypercomputation based on the dynamical algebra
Acceso Abierto
ART-ART_A2
ID Minciencias: ART-0000085308-6442
Fuente: Journal of Physics A Mathematical and General
Andrés Sicard Ramírez
Juan Ospina
Maria Velez
Temas:
Algebra over a field
Algebra representation
Current algebra
Quantum affine algebra
Filtered algebra
Quantum
Physics
Laguerre polynomials
Quantum algebra
Cellular algebra
Dimension (graph theory)
Mathematics
Pure mathematics
Quantum mechanics
Publicado: 2006
Citaciones:
5
Altmétricas:
0
Artículo de revista
Type Theory with Opposite Types: A Paraconsistent Type Theory
Acceso Cerrado
Fuente: Logic Journal of IGPL
Juan Carlos Agudelo Agudelo
Andrés Sicard Ramírez
Temas:
Type (biology)
Negation
Mathematics
Type theory
Paraconsistent logic
Falsity
Translation (biology)
Discrete mathematics
Pure mathematics
Computer science
Philosophy
Epistemology
Artificial intelligence
Ecology
Biochemistry
Chemistry
Multimodal logic
Messenger RNA
Gene
Description logic
Biology
Programming language
Publicado: 2021
Citaciones:
1
Altmétricas:
0
Artículo de revista
Computación Cuántica Geométrica: Modelo Kerr
Acceso Abierto
ART-GC_ART
ID Minciencias: ART-0000085308-6453
Fuente: Journal De Ciencia E Ingeniería
Mario E Vélez
Andrés Sicard Ramírez
Andrés Sicard Ramírez
Temas:
Physics
Publicado: 2009
Citaciones:
0
Altmétricas:
0
Publicaciones editoriales no especializadas
Category theory applied to functional programming
Acceso Cerrado
TP-TP_A
ID Minciencias: TP-0000085308-6451
Villa Isaza
Juan Pedro
Andrés Sicard Ramírez
(Asesor)
Temas:
Computer science
Programming language
Publicado: 2014
Citaciones:
0
Tesis de Pregrado
Reconstructing propositional proofs in type theory
Acceso Cerrado
TM-TM_B
ID Minciencias: TM-0000085308-6460
Jonathan Steven Prieto Cubides
Andrés Sicard Ramírez
(Asesor)
Temas:
Mathematical proof
Calculus (dental)
Type (biology)
Mathematics
Geology
Geometry
Medicine
Paleontology
Dentistry
Publicado: 2017
Citaciones:
0
Tesis de posgrado
Una formalización del sistema de los números reales
TM-TM_B
ID Minciencias: TM-0000085308-6459
Andrés Sicard Ramírez
(Asesor)
Publicado: No disponible
Citaciones:
0
Tesis de posgrado
1
NaN
