Antonio Blanco

According to our database, Antonio Blanco authored at least 5 papers between 1997 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

The Foldl Operator as a Coequalizer Using Coq.

Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París

Proceedings of the Computer Aided Systems Theory, 2009

2007

Using Coq to Understand Nested Datatypes.

Antonio Blanco, J. E. Freire, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 2007

A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol.

José A. García, Roi Blanco, Antonio Blanco, Javier París

Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2005

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.

José Luis Freire, Enrique Freire Brañas, Antonio Blanco

Proceedings of the Computer Aided Systems Theory, 2005

1997

An Automatic Calculator with Penrose Diagrams.

José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 1997