Paulo F. Silva

University of Minho, Braga, Portugal

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide -

2008

2 Paulo F. Silva, José Nuno Oliveira: 'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP 2008: 44-55

2005

1 Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira: Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. FM 2005: 399-414

	2008
2		Paulo F. Silva, José Nuno Oliveira: 'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP 2008: 44-55
	2005
1		Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira: Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. FM 2005: 399-414

Coauthor Index