José E. Freire Brañas

According to our database, José E. Freire Brañas authored at least 2 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

On the Strong Co-induction in Coq.

José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas

Proceedings of the Computer Aided Systems Theory, 2003

2001

Fusion in Coq.

José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas

Proceedings of the Computer Aided Systems Theory, 2001