scientific article

zbMath0981.68503MaRDI QIDQ2778870

Delia Kesner, Alejandro Ríos, Eduardo Bonelli

Publication date: 21 March 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510047

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Nominal rewriting ⋮ Normalisation for higher-order calculi with explicit substitutions

This page was built for publication: