Faster linear unification algorithm
From MaRDI portal
Publication:2102937
DOI10.1007/S10817-022-09635-1OpenAlexW4290888552MaRDI QIDQ2102937FDOQ2102937
Authors: Dennis de Champeaux
Publication date: 12 December 2022
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-022-09635-1
Recommendations
Cites Work
Cited In (5)
Uses Software
This page was built for publication: Faster linear unification algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2102937)