María Vico
Pascual Martínez-Losa
PROFESORA TITULAR DE UNIVERSIDAD
Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con Laureano Lambán Pardo (13)
2014
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63
2013
-
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática
2012
-
Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"
Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"
2003
-
An object-oriented interpretation of the EAT system
Applicable Algebra in Engineering, Communications and Computing, Vol. 14, Núm. 3, pp. 187-215
2001
-
Hidden Specification of a Functional System
Lecture Notes in Computer Science, Vol. 2178 LNCS, pp. 555-569
-
Instituciones: matemáticas para la especificación en computación
Margarita mathematica: en memoria de José Javier (Chicho) Guadalupe Hernández (Universidad de La Rioja), pp. 221-234
1999
-
Simplicial sets in the EAT system
EACA-99: Actas del quinto Encuentro de Álgebra Computacional y Aplicaciones : Tenerife, 8-11 de septiembre, 1999
-
Simplicial sets in the EAT system (abstract)
Communications in Computer Algebra (SIGSAM Bulletin), Vol. 33, Núm. 3, pp. 17-17
-
Specifying Implementations
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
1997
-
Resultados de no calculabilidad en representaciones de Tipos Abstractos de Datos
Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97]
1996
-
Categorías de implementaciones de Tipos Abstractos de Datos
Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996