scientific article
From MaRDI portal
Publication:2978530
DOI10.4230/LIPIcs.FSTTCS.2014.391zbMath1360.68324MaRDI QIDQ2978530
Flávio L. C. de Moura, Mauricio Ayala-Rincón, Delia Kesner
Publication date: 25 April 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Unification for $$\lambda $$ -calculi Without Propagation Rules ⋮ Confluence and commutation for nominal rewriting systems with atom-variables
This page was built for publication: