| |
| 2003 | ||
|---|---|---|
| 2 | EE | 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 | EE | José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas: Fusion in Coq. EUROCAST 2001: 583-596 |
| 1 | Antonio Blanco Ferro | [1] [2] |
| 2 | José Luis Freire-Nistal (José Luis Freire) | [1] [2] |
| 3 | Víctor M. Gulías | [2] |
| 4 | Juan J. Sánchez Penas | [1] |