A Unification Algorithm for Second-Order Linear Terms (2309.02024v1)

Published 5 Sep 2023 in cs.LO

Abstract: We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.

We haven't generated a summary for this paper yet.

Generate a whiteboard explanation of this paper.

Generate a video overview of this paper.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.