Communication Dans Un Congrès
Année : 1997
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03211224
Soumis le : mercredi 28 avril 2021-15:28:26
Dernière modification le : mercredi 28 avril 2021-15:28:26
Citer
J. Goubault-Larrecq. Ramified higher-order unification. Twelfth Annual IEEE Symposium on Logic in Computer Science, Jun 1997, Warsaw, Poland. pp.410-421, ⟨10.1109/LICS.1997.614966⟩. ⟨hal-03211224⟩
7
Consultations
0
Téléchargements