Publicacións nas que colabora con Antonio Blanco Ferro (5)

2009

  1. The foldl operator as a coequalizer using Coq

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. A comparative performance evaluation of different implementations of the SOAP protocol

    Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07

  2. On the representation of imperative programs in a logical framework

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2001

  1. Fusion in Coq

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1993

  1. Autómatas finitos con programación funcional

    Universidade da Coruña