Article Dans Une Revue
Information Processing Letters
Année : 2005
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03200959
Soumis le : samedi 17 avril 2021-09:14:52
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Citer
Jean Goubault-Larrecq. Deciding H1 by resolution. Information Processing Letters, 2005, 95 (3), pp.401-408. ⟨10.1016/j.ipl.2005.04.007⟩. ⟨hal-03200959⟩
Collections
16
Consultations
0
Téléchargements