Washington de Carvalho Segundo - Citegraph

Author Info

Name	Affiliation	Papers
WASHINGTON DE CARVALHO SEGUNDO	Departamento de Ciência da Computação, Universidade de Brasília, Brazil	5
Collaborators	Citations	PageRank
8	0	1.69
Referers	Referees	References
0	23	11

Publications (5 rows)

Collaborators (8 rows)

Referers (0 rows)

Referees (23 rows)

Title	Citations	PageRank	Year
A formalisation of nominal -equivalence with A, C, and AC function symbols.	0	0.34	2019
A Formalisation of Nominal C-Matching through Unification with Protected Variables.	0	0.34	2019
On Solving Nominal Fixpoint Equations.	0	0.34	2017
Nominal C-Unification.	0	0.34	2017
A Formalisation of Nominal α-equivalence with A and AC Function Symbols.	0	0.34	2017

1