|
Search the dblp DataBase
Antonio Blanco:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- José Luis Freire, Enrique Freire Brañas, Antonio Blanco
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] EUROCAST, 2005, pp:69-80 [Conf]
- J. M. Molinelli, J. M. Barja, Antonio Blanco, José Luis Freire
An Automatic Calculator with Penrose Diagrams. [Citation Graph (0, 0)][DBLP] EUROCAST, 1997, pp:252-269 [Conf]
- Antonio Blanco, J. E. Freire, José Luis Freire
Using Coq to Understand Nested Datatypes. [Citation Graph (0, 0)][DBLP] EUROCAST, 2007, pp:210-216 [Conf]
A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol. [Citation Graph (, )][DBLP]
The Foldl Operator as a Coequalizer Using Coq. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|