EasyChair Smart SlideUser guide
Author: Daniele Nantes-Sobrinho

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

Towards Fast Nominal anti-Unification of Letrec-Expressions

Towards Fast Nominal anti-Unification of Letrec-Expressions

Daniele Nantes-Sobrinho and Manfred Schmidt-Schauss

Nominal anti-Unification with Atom-Variables

Nominal anti-Unification with Atom-Variables

Manfred Schmidt-Schauss and Daniele Nantes-Sobrinho

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

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

Fixed-Point Constraints for Nominal Equational Unification

Fixed-Point Constraints for Nominal Equational Unification

Mauricio Ayala-Rincon, Maribel Fernandez and Daniele Nantes-Sobrinho

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair