Lógica y Computación
Realiza actividades enfocadas en la construcción de modelos de computabilidad y a establecer sus relaciones con algunos modelos ya existentes; además de instaurar las diferentes posibilidades que ofrece la física cuántica, y en general la física moderna, para la construcción de nuevos modelos de computación y programación.
Lider: Andrés Sicard Ramírez
Email: asicard@eafit.edu.co
Código Colciencias: COL0013352
Categoría Colciencias: B
Escuela a la que pertenece: Ciencias
Colecciones en esta comunidad
-
Articulos [0]
Envíos recientes
-
A Set Theory Formalization
(Grupo de investigación en Lógica y Computación; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación Lógica y Computación, 2017) -
Proof-term reconstruction from TSTP to Agda
(Universidad EAFIT; Grupo de investigación en Lógica y Computación; Escuela de Ciencias, 2015-12-19) -
Proof Reconstruction: Parsing Proofs
(Universidad EAFIT; Grupo de investigación en Lógica y Computación; Escuela de Ciencias, 2015-06-10) -
Proof Reconstruction: Parsing Proofs
(Universidad EAFIT; Grupo de Investigación en Lógica y Computación; Universidad EAFIT. Escuela de Ciencias, 2015-06-10) -
Hacia la formalización del razonamiento ecuacional sobre mónadas
(Universidad EAFIT; Grupo de Investigación Lógica y Computación; Universidad EAFIT. Escuela de Ciencias y Humanidades. Grupo de Investigación Lógica y Computación, 2013-05)
