HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Higher-order rigid E-unification

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03243060
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Monday, May 31, 2021 - 2:04:47 PM
Last modification on : Monday, May 31, 2021 - 2:04:47 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

2