 | 2011 |
|---|
| 4 |       | José Luis Freire-Nistal,
Antonio Blanco Ferro,
J. M. Molinelli Barba,
Enrique Freire Brañas:
On the Confluence of the Graphic Calculus with Penrose Diagrams (I).
EUROCAST (1) 2011: 169-176 |
| 2007 |
|---|
| 3 | | 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 |
| 2003 |
|---|
| 2 | | José Luis Freire-Nistal,
Antonio Blanco Ferro,
Víctor M. Gulías,
José E. Freire Brañas:
On the Strong Co-induction in Coq.
EUROCAST 2003: 279-290 |
| 2001 |
|---|
| 1 | | José Luis Freire,
José E. Freire Brañas,
Antonio Blanco Ferro,
Juan J. Sánchez Penas:
Fusion in Coq.
EUROCAST 2001: 583-596 |
Data released under the ODC-BY 1.0 license — See also our legal information page