加载中…
2023-09-05
A Unification Algorithm for Second-Order Linear Terms
Gilles Dowek
文献摘要
We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本