Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification
From MaRDI portal
Publication:2958389
DOI10.4230/LIPIcs.RTA.2013.271zbMath1356.68126OpenAlexW2276567692MaRDI QIDQ2958389
Publication date: 1 February 2017
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2013/4067/
This page was built for publication: Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification