Journal Articles
Information Processing Letters
Year : 2005
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03200959
Submitted on : Saturday, April 17, 2021-9:14:52 AM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Cite
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
13
View
0
Download