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
Peter Dybjer
Universidad de Gotemburgo
Universidad de Constanza
Universidad de Swansea
Universidad Estatal de Kansas
Universidad de Alberta
Universidad de Connecticut
Universidad Estatal de Nuevo México
Universidad Politécnica de Chalmers
Índice de un servidor web
Perfil externo:
Citaciones:
12
Productos:
2
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...
2 Productos
Más citado
CSV
API
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000085308-6446
Ranking: ART-ART_A2
Fuente: Lecture notes in computer science
Ana Bove
Peter Dybjer
Andrés Sicard Ramírez
Tópico:
Logic, programming, and type systems
Publicado: 2012
Citaciones:
7
Altmétricas:
0
Artículo de revista
Embedding a logical theory of constructions in Agda
Ver producto
Acceso Cerrado
Ana Bove
Peter Dybjer
Andrés Sicard Ramírez
Tópico:
Logic, programming, and type systems
Publicado: 2009
Citaciones:
5
Altmétricas:
0
Artículo de revista
1
NaN
