From 761dcfc95ef1fe4a2b1776b899469fb2449f06ac Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 16 May 2023 20:17:40 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/publications.bib b/publications.bib
index 957e5ea..095d5e9 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1962,7 +1962,7 @@ year = {2022},
@inproceedings{Nantes2021Types,
author = {Joseph W. N. Paulus and
- Daniele Nantes Sobrinho and
+ Daniele Nantes and
Jorge A. P{\'{e}}rez},
editor = {Henning Basold and
Jesper Cockx and
@@ -1984,7 +1984,7 @@ abstract = {Type-preserving translations are effective rigorous tools in the st
author = {Mauricio Ayala-Rinc\'{o}n and
Maribel Fern\'{a}ndez and
Gabriel Ferreira Silva
-and Daniele Nantes Sobrinho},
+and Daniele Nantes},
title = {{A Certified Algorithm for AC-Unification}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {8:1--8:21},
@@ -2001,7 +2001,7 @@ abstract = {Implementing unification modulo Associativity and Commutativity (AC
}
@InProceedings{Nantes2022Nominal,
-author = {Manfred Schmidt-Schau{\ss} and Daniele Nantes Sobrinho},
+author = {Manfred Schmidt-Schau{\ss} and Daniele Nantes},
title = {{Nominal Anti-Unification with Atom-Variables}},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
pages = {7:1--7:22},
--
GitLab