Higher-order rigid E-unification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

Higher-order rigid E-unification

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More