Antonio
Blanco Ferro
Publications by the researcher in collaboration with Antonio Blanco Ferro (5)
2009
-
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
-
A comparative performance evaluation of different implementations of the SOAP protocol
Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07
-
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
-
Fusion in Coq
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1993
-
Autómatas finitos con programación funcional
Universidade da Coruña