Enrique Freire Brañas

According to our database, Enrique Freire Brañas authored at least 4 papers between 2005 and 2011.

Collaborative distances:

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

2011

On the Confluence of the Graphic Calculus with Penrose Diagrams (I).

José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2009

The Foldl Operator as a Coequalizer Using Coq.

Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París

Proceedings of the Computer Aided Systems Theory, 2009

2007

On the Representation of Imperative Programs in a Logical Framework.

José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto

Proceedings of the Computer Aided Systems Theory, 2007

2005

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.

José Luis Freire, Enrique Freire Brañas, Antonio Blanco

Proceedings of the Computer Aided Systems Theory, 2005