A Unification Algorithm for Second-Order Linear Terms
Logic in Computer Science
2023-09-06 v1
Abstract
We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.
Cite
@article{arxiv.2309.02024,
title = {A Unification Algorithm for Second-Order Linear Terms},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2309.02024},
year = {2023}
}