Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
Percorrer por autor Silva, Paulo F.
Subscrever estatísticas do autor Silva, Paulo F.
Índice:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 1-3 de um total de 3 resultados.
Data
Título
Autor(es)
Tipo
Acesso
2012
Constraint-aware schema transformation
Alves, Tiago L.
;
Silva, Paulo F.
;
Visser, Joost
Artigo
Acesso aberto
2008
'Galculator': functional prototype of a Galois-connection based proof assistant
Silva, Paulo F.
;
Oliveira, José Nuno Fonseca
Artigo em ata de conferência
Acesso aberto
2009
Galois: a language for proofs using galois connections and fork algebras
Silva, Paulo F.
;
Visser, Joost
;
Oliveira, José Nuno Fonseca
Artigo em ata de conferência
Acesso aberto