Publicaciones en las que colabora con Laureano Lambán Pardo (13)

2014

  1. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37

  2. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  3. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63

2013

  1. 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

  1. 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

  1. An object-oriented interpretation of the EAT system

    Applicable Algebra in Engineering, Communications and Computing, Vol. 14, Núm. 3, pp. 187-215

2001

  1. Hidden Specification of a Functional System

    Lecture Notes in Computer Science, Vol. 2178 LNCS, pp. 555-569

  2. 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

  1. Simplicial sets in the EAT system

    EACA-99: Actas del quinto Encuentro de Álgebra Computacional y Aplicaciones : Tenerife, 8-11 de septiembre, 1999

  2. Simplicial sets in the EAT system (abstract)

    Communications in Computer Algebra (SIGSAM Bulletin), Vol. 33, Núm. 3, pp. 17-17

  3. Specifying Implementations

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

1997

  1. 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

  1. Categorías de implementaciones de Tipos Abstractos de Datos

    Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996