José Luis Freire-Nistal

Publication Activity (10 Years)

Years Active: 1990-2011
Publications (10 Years): 0

Publications

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)
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)
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-Nistal, Aguado F. Martín
Naturality of the conditional and the recursion. Int. J. Comput. Math. 35 (1-4) (1990)