Document Preview Unavailable
Unification in Matching Logic -- Revisited
Kurucz, Ádám; Bereczky, Péter; Horpácsi, Dániel. arXiv.org, Oct 31, 2024.You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library




