Gabriel Ferreira Silva

According to our database, Gabriel Ferreira Silva authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Nominal AC-Matching.

Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2022

A Certified Algorithm for AC-Unification.

Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Formalising nominal C-unification generalised with protected variables.

Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho

Math. Struct. Comput. Sci., 2021

2019

A Certified Functional Nominal C-Unification Algorithm.

Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019