![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto: On the Representation of Imperative Programs in a Logical Framework. EUROCAST 2007: 202-209 |
2005 | ||
1 | EE | José Luis Freire, Enrique Freire Brañas, Antonio Blanco: On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. EUROCAST 2005: 69-80 |
1 | Antonio Blanco | [1] |
2 | Antonio Blanco Ferro | [2] |
3 | José Luis Freire-Nistal (José Luis Freire) | [1] [2] |
4 | David Cabrero Souto | [2] |