Nominal unification from a higher-order perspective

DOI10.1007/978-3-540-70590-1_17MaRDI QIDQ6829933zbMATH OpenFDO

Authors Jordi Levy, Mateu Villaret

Publication date 28 August 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70590-1_17

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Cited in

(1)

• Closed nominal rewriting and efficiently computable nominal algebra equality

This page was built for publication: Nominal unification from a higher-order perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6829933)