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

2021

  1. Q-learning and MCTS techniques for improving an algorithm to compute discrete vector fields on finite topological spaces

    9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), short and work-in-progress papers

2017

  1. Especificación de un lenguaje seudocódigo para la enseñanza de programación de ordenadores

    Especificación de un lenguaje seudocódigo para la enseñanza de programación de ordenadores

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