Gabriel Ferreira Silva
Author
Alternate name Gabriel Ferreira Silva
Institution Universidade de Brasília
Past institution Universidade de Brasília
ORCID: Yes
H-index: 2
I10-index:
Works count: 6
Citations count: 9
A Certified Functional Nominal C-Unification Algorithm
2020 · Maurício Ayala-Rincón, Maribel Fernández, et al. · Lecture notes in computer science
Formalising nominal C-unification generalised with protected variables
2021 · Maurício Ayala-Rincón, Washington Luís Ribeiro de Carvalho Segundo, et al. · Mathematical Structures in Computer Science
Nominal AC-Matching
2023 · Maurício Ayala-Rincón, Maribel Fernández, et al. · Lecture notes in computer science