José E. Freire Brañas

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

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)
José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas
Fusion in Coq. EUROCAST (2001)