Linear second-order unification

From MaRDI portal
Publication:5055871

DOI10.1007/3-540-61464-8_63zbMath1503.68130OpenAlexW1501058900MaRDI QIDQ5055871

Jordi Levy

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61464-8_63




Related Items (12)




Cites Work




This page was built for publication: Linear second-order unification