Deciding H1 by resolution - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2005

Deciding H1 by resolution

Dates et versions

hal-03200959 , version 1 (17-04-2021)

Identifiants

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

Altmetric

Partager

Gmail Facebook X LinkedIn More