Gabriel Ferreira Silva

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Expectation Maximization

Experimental Evaluation

Independent Variables

Top Venues

Math. Struct. Comput. Sci.

Publications

Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
Nominal AC-Matching. CICM (2023)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho
A Certified Algorithm for AC-Unification. FSCD (2022)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. 31 (3) (2021)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
A Certified Functional Nominal C-Unification Algorithm. LOPSTR (2019)