Gabriel Ferreira Silva

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

Collaborative distances:

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

2024

Certified First-Order AC-Unification and Applications.

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

J. Autom. Reason., December, 2024

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