EasyChair Smart SlideDocs/Log in
Author: Gabriel Silva

This page shows all presentations of this author published in EasyChair Smart Slide.

Formalising Nominal AC-Unification (Online Talk)

Formalising Nominal AC-Unification (Online Talk)

Gabriel Ferreira Silva

A Certified Algorithm for AC-Unification

A Certified Algorithm for AC-Unification

Mauricio Ayala-Rincón, Maribel Fernandez, Gabriel Ferreira Silva and Daniele Nantes-Sobrinho

Why We Need Structured Proofs in Mathematics

Why We Need Structured Proofs in Mathematics

Mauricio Ayala-Rincón and Gabriel Silva

A Certified Functional Nominal C-Unification Algorithm

A Certified Functional Nominal C-Unification Algorithm

Mauricio Ayala-Rincon, Maribel Fernández, Gabriel Silva and Daniele Nantes-Sobrinho

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair