dblp.uni-trier.dewww.uni-trier.de

Enrique Freire Brañas

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
2EEJosé 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: 202-209
2005
1EEJosé Luis Freire, Enrique Freire Brañas, Antonio Blanco: On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. EUROCAST 2005: 69-80

Coauthor Index

1Antonio Blanco [1]
2Antonio Blanco Ferro [2]
3José Luis Freire-Nistal (José Luis Freire) [1] [2]
4David Cabrero Souto [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)