Higher-order rigid E-unification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1994

Higher-order rigid E-unification

Dates and versions

hal-03243060 , version 1 (31-05-2021)

Identifiers

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More