Conference Papers
Year : 1994
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03243060
Submitted on : Monday, May 31, 2021-2:04:47 PM
Last modification on : Monday, May 31, 2021-2:04:47 PM
Cite
Jean Goubault. Higher-order rigid E-unification. International Conference on Logic for Programming Artificial Intelligence and Reasoning, Jul 1994, Kiev, Ukraine. pp.129-143, ⟨10.1007/3-540-58216-9_34⟩. ⟨hal-03243060⟩
3
View
0
Download