Communication Dans Un Congrès
Année : 1994
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03243060
Soumis le : lundi 31 mai 2021-14:04:47
Dernière modification le : lundi 31 mai 2021-14:04:47
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