A Unification Algorithm for Second-Order Linear Terms
Abstract
We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2023
- DOI:
- 10.48550/arXiv.2309.02024
- arXiv:
- arXiv:2309.02024
- Bibcode:
- 2023arXiv230902024D
- Keywords:
-
- Computer Science - Logic in Computer Science