Nominal syntax with atom substitutions: matching, unification, rewriting

DOI10.1007/978-3-030-25027-0_5zbMath1477.68137OpenAlexW2966633871MaRDI QIDQ2291414

Jesús Emilio Domínguez, Maribel Fernández

Publication date: 30 January 2020

Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/nominal-syntax-with-atom-substitutions(8cabb964-b7f1-4aee-9230-2d82cf83192a).html

zbMATH Keywords

unificationrewritingnominal syntaxnon-capturing substitution

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Nominal syntax with atom substitutions

This page was built for publication: Nominal syntax with atom substitutions: matching, unification, rewriting