A formalisation of nominal C-matching through unification with protected variables

From MaRDI portal
Publication:2333665

DOI10.1016/j.entcs.2019.07.004zbMath1433.68186OpenAlexW2969292305WikidataQ113317461 ScholiaQ113317461MaRDI QIDQ2333665

Maribel Fernández, Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Daniele Nantes-Sobrinho

Publication date: 13 November 2019

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.07.004




Related Items (2)


Uses Software


Cites Work


This page was built for publication: A formalisation of nominal C-matching through unification with protected variables