Unification of Drags and Confluence of Drag Rewriting


Drags are a recent, natural generalization of terms which admit arbitrary cycles. A key aspect of drags is that they can be equipped with a composition operator so that rewriting amounts to replace a drag by another in a composition. In this paper, we develop a unification algorithm for drags that allows to check the local confluence property of a set of drag rewrite rules.

Friday, June 2, 2023 15:00 Europe/Paris
GReTA seminar
Zoom registration: click here! Please consider joining the meeting already within the 15min prior to the start of the seminar to ensure your setup is functioning properly. You may connect with either the Zoom web or Zoom desktop clients.

Please note that the meeting will be recorded and live-streamed to YouTube:

Fernando Orejas
Fernando Orejas
Professor of Computer Science

Member of the ALBCOM Research Group of the Department of Computer Science, Technical University of Catalonia, in Barcelona. (These are the English translations of Departament de Ciències de la Computació and Universitat Politècnica de Catalunya.)